{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T18:11:33Z","timestamp":1780078293392,"version":"3.54.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1109\/iscas45731.2020.9180792","type":"proceedings-article","created":{"date-parts":[[2020,9,29]],"date-time":"2020-09-29T09:22:27Z","timestamp":1601371347000},"page":"1-5","source":"Crossref","is-referenced-by-count":7,"title":["Enumerating Optimal Quantum Circuits using Spectral Classification"],"prefix":"10.1109","author":[{"given":"Giulia","family":"Meuli","sequence":"first","affiliation":[{"name":"LSI, EPFL, Lausanne, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[{"name":"LSI, EPFL, Lausanne, Switzerland; Microsoft, Redmond, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Roetteler","sequence":"additional","affiliation":[{"name":"Microsoft, Redmond, WA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giovanni","family":"De Micheli","sequence":"additional","affiliation":[{"name":"LSI, EPFL, Lausanne, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/12.795226"},{"key":"ref31","first-page":"9","article-title":"The technique of calculation of statements in symbolic logic","volume":"34","author":"zhegarkin","year":"1927","journal-title":"Sbornik Mathematics"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21500-2_12"},{"key":"ref10","article-title":"ROS: Resource constrained oracle synthesis for quantum circuits","author":"meuli","year":"2019","journal-title":"Quantum Physics and Logic"},{"key":"ref11","first-page":"17","article-title":"Minimization of ring-sum expansions of Boolean functions","volume":"28","author":"bioul","year":"1973","journal-title":"Philips Research Reports"},{"key":"ref12","article-title":"Fast heuristic minimization of exclusive-sum-of-products","author":"mishchenko","year":"2001","journal-title":"Reed-Muller'95 Workshop"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/988952.988971"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3154-8_13"},{"key":"ref15","author":"nielsen","year":"2000","journal-title":"Quantum Computation and Quantum Information"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.26421\/QIC14.15-16-1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.022328"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-06-18-74"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.042302"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/nature18648"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0165-1684(85)90052-0"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1088\/2058-7058\/32\/2\/6"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1425-1_5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1038\/nature18318"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.6.031007"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942093"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2244643"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.93.022311"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-019-1666-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2341953"},{"key":"ref1","article-title":"IBM unveils world’s first integrated quantum computing system for commercial use","author":"nay","year":"2019","journal-title":"IBM Research Communications"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2016.33"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224082"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1972.1054732"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-509850-2.50010-5"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.2307\/2387224"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-1991-1079027-8"}],"event":{"name":"2020 IEEE International Symposium on Circuits and Systems (ISCAS)","location":"Seville, Spain","start":{"date-parts":[[2020,10,12]]},"end":{"date-parts":[[2020,10,14]]}},"container-title":["2020 IEEE International Symposium on Circuits and Systems (ISCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9179985\/9180369\/09180792.pdf?arnumber=9180792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,15]],"date-time":"2024-01-15T16:05:33Z","timestamp":1705334733000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9180792\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/iscas45731.2020.9180792","relation":{},"subject":[],"published":{"date-parts":[[2020,10]]}}}