{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T16:07:12Z","timestamp":1772554032212,"version":"3.50.1"},"reference-count":24,"publisher":"IEEE","funder":[{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","award":["2867.001"],"award-info":[{"award-number":["2867.001"]}],"id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,2,1]]},"DOI":"10.23919\/date51398.2021.9473972","type":"proceedings-article","created":{"date-parts":[[2021,8,24]],"date-time":"2021-08-24T22:11:46Z","timestamp":1629843106000},"page":"1026-1031","source":"Crossref","is-referenced-by-count":18,"title":["Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization"],"prefix":"10.23919","author":[{"given":"Shubham","family":"Rai","sequence":"first","affiliation":[]},{"given":"Walter Lau","family":"Neto","sequence":"additional","affiliation":[]},{"given":"Yukio","family":"Miyasaka","sequence":"additional","affiliation":[]},{"given":"Xinpei","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Mingfei","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Qingyang","family":"Yi","sequence":"additional","affiliation":[]},{"given":"Masahiro","family":"Fujita","sequence":"additional","affiliation":[]},{"given":"Guilherme B.","family":"Manske","sequence":"additional","affiliation":[]},{"given":"Matheus F.","family":"Pontes","sequence":"additional","affiliation":[]},{"given":"Leomar S.","family":"da Rosa","sequence":"additional","affiliation":[]},{"given":"Marilton S.","family":"de Aguiar","sequence":"additional","affiliation":[]},{"given":"Paulo F.","family":"Butzen","sequence":"additional","affiliation":[]},{"given":"Po-Chun","family":"Chien","sequence":"additional","affiliation":[]},{"given":"Yu-Shan","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Hoa-Ren","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Jie-Hong R.","family":"Jiang","sequence":"additional","affiliation":[]},{"given":"Jiaqi","family":"Gu","sequence":"additional","affiliation":[]},{"given":"Zheng","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Zixuan","family":"Jiang","sequence":"additional","affiliation":[]},{"given":"David Z.","family":"Pan","sequence":"additional","affiliation":[]},{"given":"Brunno A.","family":"de Abreu","sequence":"additional","affiliation":[]},{"given":"Isac","family":"de Souza Campos","sequence":"additional","affiliation":[]},{"given":"Augusto","family":"Berndt","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Meinhardt","sequence":"additional","affiliation":[]},{"given":"Jonata T.","family":"Carvalho","sequence":"additional","affiliation":[]},{"given":"Mateus","family":"Grellert","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Bampi","sequence":"additional","affiliation":[]},{"given":"Aditya","family":"Lohana","sequence":"additional","affiliation":[]},{"given":"Akash","family":"Kumar","sequence":"additional","affiliation":[]},{"given":"Wei","family":"Zeng","sequence":"additional","affiliation":[]},{"given":"Azadeh","family":"Davoodi","sequence":"additional","affiliation":[]},{"given":"Rasit O.","family":"Topaloglu","sequence":"additional","affiliation":[]},{"given":"Yuan","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Jordan","family":"Dotzel","sequence":"additional","affiliation":[]},{"given":"Yichi","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Hanyu","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Zhiru","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Valerio","family":"Tenace","sequence":"additional","affiliation":[]},{"given":"Pierre-Emmanuel","family":"Gaillardon","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Mishchenko","sequence":"additional","affiliation":[]},{"given":"Satrajit","family":"Chatterjee","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2001.968667"},{"key":"ref11","article-title":"Learning and memorization","author":"chatteriee","year":"2018","journal-title":"ICML"},{"key":"ref12","article-title":"Logic synthesis and optimization benchmarks user guide: version 3.0","author":"yang","year":"1991","journal-title":"Microelectronic Center of North Carolina"},{"key":"ref13","article-title":"MNIST handwritten digit database","author":"lecun","year":"2010","journal-title":"ATT Labs"},{"key":"ref14","author":"krizhevsky","year":"2009","journal-title":"Learning multiple layers of features from tiny images"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1656274.1656278"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022611825350"},{"key":"ref17","article-title":"Learning Complex Boolean Functions: Algorithms and Applications","author":"oliveira","year":"1993","journal-title":"NeurIPS"},{"key":"ref18","article-title":"Learning Both Weights and Connections for Efficient Neural Networks","author":"han","year":"2015","journal-title":"NeurIPS"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1997.1504"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0167-9260(94)00007-7"},{"key":"ref3","year":"0","journal-title":"ESPRESSO(5OCTTOOLS) Manual Page"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643378"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/240518.240555"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1987.1270318"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2821-6","volume":"2","author":"brayton","year":"1984","journal-title":"Logic Minimization Algorithms for VLSI Synthesis"},{"key":"ref2","article-title":"AIGER 1.9 And Beyond","author":"biere","year":"2011","journal-title":"Tech Rep"},{"key":"ref1","author":"chatterjee","year":"2007","journal-title":"On Algorithms for Technology Mapping"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/157485.165069"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010933404324"},{"key":"ref22","article-title":"Scikit-learn: Machine learning in Python","author":"pedregosa","year":"2011","journal-title":"JMLR"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i04.5768"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2018.8351206"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2739480.2754684"}],"event":{"name":"2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Grenoble, France","start":{"date-parts":[[2021,2,1]]},"end":{"date-parts":[[2021,2,5]]}},"container-title":["2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9473901\/9473226\/09473972.pdf?arnumber=9473972","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T21:37:53Z","timestamp":1643319473000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9473972\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,1]]},"references-count":24,"URL":"https:\/\/doi.org\/10.23919\/date51398.2021.9473972","relation":{},"subject":[],"published":{"date-parts":[[2021,2,1]]}}}