{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T16:29:39Z","timestamp":1781195379410,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,5]],"date-time":"2018-11-05T00:00:00Z","timestamp":1541376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,11,5]]},"DOI":"10.1145\/3240765.3240861","type":"proceedings-article","created":{"date-parts":[[2018,11,6]],"date-time":"2018-11-06T13:36:57Z","timestamp":1541511417000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Unlocking fine-grain parallelism for AIG rewriting"],"prefix":"10.1145","author":[{"given":"Vinicius","family":"Possani","sequence":"first","affiliation":[{"name":"Universidade Federal do Rio Grande do Sul, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yi-Shan","family":"Lu","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alan","family":"Mishchenko","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Keshav","family":"Pingali","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Renato","family":"Ribas","sequence":"additional","affiliation":[{"name":"Universidade Federal do Rio Grande do Sul, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andre","family":"Reis","sequence":"additional","affiliation":[{"name":"Universidade Federal do Rio Grande do Sul, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Berkeley Logic Synthesis and Verification Group. ABC: A System for Sequential Synthesis and Verification. http:\/\/www-cad.eecs.berkeley.edu\/~alanmi\/abc."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593158"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. IWLS'15","author":"Amar\u00fa L.","unstructured":"L. Amar\u00fa, P.-E. Gaillardon, and G. De Micheli. \"The EPFL Combinational Benchmark Suite\". In Proc. IWLS'15."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/3199700.3199747"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382541"},{"key":"e_1_3_2_1_6_1","first-page":"29","volume-title":"Proc. ISCAS'82","author":"Brayton R.","unstructured":"R. Brayton and C. McMullen. \"The Decomposition and Factorization of Boolean Expressions\". In Proc. ISCAS'82, pp. 29--54."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.882484"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.811447"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593227"},{"key":"e_1_3_2_1_10_1","first-page":"151","volume-title":"Proc. ASP-DAC'17","author":"Haaswijk W.","unstructured":"W. Haaswijk, M. Soeken, L. Amar\u00f9, P. E. Gaillardon, and G. D. Micheli. \"A novel basis for logic rewriting\". In Proc. ASP-DAC'17, pp. 151--156."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.229"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901919"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2011.6081434"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3020078.3021735"},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. IWLS'06","author":"Mishchenko A.","unstructured":"A. Mishchenko and R. K. Brayton.\"Scalable logic synthesis using a simple circuit structure\". In Proc. IWLS'06."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1326073.1326147"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593177"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993501"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2971808.2972049"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2012.2237140"},{"key":"e_1_3_2_1_22_1","volume-title":"A Cloudy Future?\" IEEE Design & Test, 31(2)","author":"Stok L.","year":"2014","unstructured":"L. Stok. \"The Next 25 Years in EDA: A Cloudy Future?\" IEEE Design & Test, 31(2), 2014."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429384.2429513"}],"event":{"name":"ICCAD '18: IEEE\/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN","location":"San Diego California","acronym":"ICCAD '18","sponsor":["IEEE-EDS Electronic Devices Society","IEEE CAS","IEEE CEDA"]},"container-title":["Proceedings of the International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3240765.3240861","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3240765.3240861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:33Z","timestamp":1750208253000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3240765.3240861"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,5]]},"references-count":23,"alternative-id":["10.1145\/3240765.3240861","10.1145\/3240765"],"URL":"https:\/\/doi.org\/10.1145\/3240765.3240861","relation":{},"subject":[],"published":{"date-parts":[[2018,11,5]]},"assertion":[{"value":"2018-11-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}