TY - RPRT TI - Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization AU - Shubham Rai AU - Walter Lau Neto AU - Yukio Miyasaka AU - Xinpei Zhang AU - Mingfei Yu AU - Qingyang Yi Masahiro Fujita AU - Guilherme B. Manske AU - Matheus F. Pontes AU - Leomar S. da Rosa Junior AU - Marilton S. de Aguiar AU - Paulo F. Butzen AU - Po-Chun Chien AU - Yu-Shan Huang AU - Hoa-Ren Wang AU - Jie-Hong R. Jiang AU - Jiaqi Gu AU - Zheng Zhao AU - Zixuan Jiang AU - David Z. Pan AU - Brunno A. de Abreu AU - Isac de Souza Campos AU - Augusto Berndt AU - Cristina Meinhardt AU - Jonata T. Carvalho AU - Mateus Grellert AU - Sergio Bampi AU - Aditya Lohana AU - Akash Kumar AU - Wei Zeng AU - Azadeh Davoodi AU - Rasit O. Topaloglu AU - Yuan Zhou AU - Jordan Dotzel AU - Yichi Zhang AU - Hanyu Wang AU - Zhiru Zhang AU - Valerio Tenace AU - Pierre-Emmanuel Gaillardon AU - Alan Mishchenko AU - Satrajit Chatterjee PY - 2020 UR - https://arxiv.org/abs/2012.02530 ID - 2012.02530 ER -