{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T11:42:01Z","timestamp":1778154121359,"version":"3.51.4"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,1]]},"DOI":"10.1109\/aspdac.2018.8297398","type":"proceedings-article","created":{"date-parts":[[2018,2,22]],"date-time":"2018-02-22T17:02:02Z","timestamp":1519318922000},"page":"664-669","source":"Crossref","is-referenced-by-count":7,"title":["A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis"],"prefix":"10.1109","author":[{"given":"Giulia","family":"Meuli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Roetteler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathan","family":"Wiebe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"De Micheli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.93.022311"},{"key":"ref11","article-title":"Minimization of ring-sum expansions of Boolean functions","author":"bioul","year":"1973","journal-title":"PRR"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/988952.988971"},{"key":"ref13","article-title":"Fast heuristic minimization of exclusive-sum-of-products","author":"mishchenko","year":"2001","journal-title":"RM"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2244643"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2341953"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/1\/1\/015003"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08494-7_13"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1137\/0112026"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(79)90042-1"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1965-045-4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1618020114"},{"key":"ref27","article-title":"RevKit: A toolkit for reversible circuit design","author":"soeken","year":"2012","journal-title":"Multiple-Valued Logic and Soft Computing"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/nature18318"},{"key":"ref6","author":"soeken","year":"2017","journal-title":"Logic synthesis for quantum computing"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/PACRIM.2007.4313212"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382677"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/43.273754"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.6.031007"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176724"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/nature18648"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1963.263656"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38986-3_16"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2557329"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59936-6_9"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45711-5_8"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.23919\/MIXDES.2017.8005188"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/54.156154"}],"event":{"name":"2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Jeju","start":{"date-parts":[[2018,1,22]]},"end":{"date-parts":[[2018,1,25]]}},"container-title":["2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8291862\/8297256\/08297398.pdf?arnumber=8297398","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T16:44:05Z","timestamp":1522687445000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8297398\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2018.8297398","relation":{},"subject":[],"published":{"date-parts":[[2018,1]]}}}