Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization.
Shubham RaiWalter Lau NetoYukio MiyasakaXinpei ZhangMingfei YuQingyang YiMasahiro FujitaGuilherme B. ManskeMatheus F. PontesLeomar S. da RosaMarilton S. de AguiarPaulo F. ButzenPo-Chun ChienYu-Shan HuangHoa-Ren WangJie-Hong R. JiangJiaqi GuZheng ZhaoZixuan JiangDavid Z. PanBrunno A. AbreuIsac de Souza CamposAugusto Andre Souza BerndtCristina MeinhardtJonata T. CarvalhoMateus GrellertSergio BampiAditya LohanaAkash KumarWei ZengAzadeh DavoodiRasit Onur TopalogluYuan ZhouJordan DotzelYichi ZhangHanyu WangZhiru ZhangValerio TenacePierre-Emmanuel GaillardonAlan MishchenkoSatrajit ChatterjeePublished in: DATE (2021)
Keyphrases