{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T15:20:21Z","timestamp":1774365621986,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,1,21]],"date-time":"2019-01-21T00:00:00Z","timestamp":1548028800000},"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":[[2019,1,21]]},"DOI":"10.1145\/3287624.3287671","type":"proceedings-article","created":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T21:45:18Z","timestamp":1547847918000},"page":"663-668","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Structural rewriting in XOR-majority graphs"],"prefix":"10.1145","author":[{"given":"Zhufei","family":"Chu","sequence":"first","affiliation":[{"name":"Ningbo University, Ningbo, China"}]},{"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[{"name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), Lausanne, Switzerland"}]},{"given":"Yinshui","family":"Xia","sequence":"additional","affiliation":[{"name":"Ningbo University, Ningbo, China"}]},{"given":"Lunyao","family":"Wang","sequence":"additional","affiliation":[{"name":"Ningbo University, Ningbo, China"}]},{"given":"Giovanni","family":"De Micheli","sequence":"additional","affiliation":[{"name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), Lausanne, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2019,1,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593158"},{"key":"e_1_3_2_1_2_1","unstructured":"Luca Amar\u00fa Pierre-Emmanuel Gaillardon and Giovanni De Micheli. 2015. The EPFL combinational benchmark suite. In IWLS. 57--61.  Luca Amar\u00fa Pierre-Emmanuel Gaillardon and Giovanni De Micheli. 2015. The EPFL combinational benchmark suite. In IWLS. 57--61."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2488484"},{"key":"e_1_3_2_1_4_1","series-title":"FMV Reports Series","volume-title":"Technical Report","author":"Biere Armin"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.71.022316"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.52213"},{"key":"e_1_3_2_1_8_1","unstructured":"F Brglez and H Fujiwara. 1985. A neutral netlist of 10 combinational benchmark circuits and a target translator into FORTRAN. In ISCAS. 659--662.  F Brglez and H Fujiwara. 1985. A neutral netlist of 10 combinational benchmark circuits and a target translator into FORTRAN. In ISCAS. 659--662."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Z. Chu M. Soeken Y. Xia and G. De Micheli. 2018. Functional decomposition using majority. In ASP-DAC. 676--681.   Z. Chu M. Soeken Y. Xia and G. De Micheli. 2018. Functional decomposition using majority. In ASP-DAC. 676--681.","DOI":"10.1109\/ASPDAC.2018.8297400"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Winston Haaswijk Mathias Soeken Luca Amaru Pierre-Emmanuel Gaillardon and Giovanni De Micheli. 2017. A novel basis for logic rewriting. In ASP-DAC. 151--156.  Winston Haaswijk Mathias Soeken Luca Amaru Pierre-Emmanuel Gaillardon and Giovanni De Micheli. 2017. A novel basis for logic rewriting. In ASP-DAC. 151--156.","DOI":"10.1109\/ASPDAC.2017.7858312"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Ivo H\u00e1le\u010dek Petr Fi\u0161er and Jan Schmidt. 2017. Are XORs in logic synthesis really necessary?. In DDECS. 134--139.  Ivo H\u00e1le\u010dek Petr Fi\u0161er and Jan Schmidt. 2017. Are XORs in logic synthesis really necessary?. In DDECS. 134--139.","DOI":"10.1109\/DDECS.2017.7934583"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3020078.3021735"},{"key":"e_1_3_2_1_13_1","unstructured":"Giovanni De Micheli. 1994. Synthesis and optimization of digital circuits. McGraw-Hill Higher Education.   Giovanni De Micheli. 1994. Synthesis and optimization of digital circuits. McGraw-Hill Higher Education."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2664059"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Mathias Soeken Martin Roetteler Nathan Wiebe and Giovanni De Micheli. 2017. Design automation and design space exploration for quantum computers. In DATE. 470--475.   Mathias Soeken Martin Roetteler Nathan Wiebe and Giovanni De Micheli. 2017. Design automation and design space exploration for quantum computers. In DATE. 470--475.","DOI":"10.23919\/DATE.2017.7927035"}],"event":{"name":"ASPDAC '19: 24th Asia and South Pacific Design Automation Conference","location":"Tokyo Japan","acronym":"ASPDAC '19","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEICE ESS Institute of Electronics, Information and Communication Engineers, Engineering Sciences Society","IEEE CAS","IEEE CEDA","IPSJ SIG-SLDM Information Processing Society of Japan, SIG System LSI Design Methodology"]},"container-title":["Proceedings of the 24th Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3287624.3287671","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3287624.3287671","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:04Z","timestamp":1750208884000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3287624.3287671"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,21]]},"references-count":16,"alternative-id":["10.1145\/3287624.3287671","10.1145\/3287624"],"URL":"https:\/\/doi.org\/10.1145\/3287624.3287671","relation":{},"subject":[],"published":{"date-parts":[[2019,1,21]]},"assertion":[{"value":"2019-01-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}