{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,26]],"date-time":"2026-06-26T06:15:25Z","timestamp":1782454525916,"version":"3.54.5"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100010663","name":"European Research Council (ERC) under the European Union\u2019s Horizon 2020 research and innovation program","doi-asserted-by":"publisher","award":["101001318"],"award-info":[{"award-number":["101001318"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Munich Quantum Valley"},{"name":"Bavarian state government with funds from the Hightech Agenda Bayern Plus"},{"name":"BMWK on the basis of a decision by the German Bundestag through project QuaST"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE J. Emerg. Sel. Topics Circuits Syst."],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1109\/jetcas.2022.3202204","type":"journal-article","created":{"date-parts":[[2022,8,26]],"date-time":"2022-08-26T19:37:34Z","timestamp":1661542654000},"page":"662-675","source":"Crossref","is-referenced-by-count":44,"title":["Equivalence Checking of Quantum Circuits With the ZX-Calculus"],"prefix":"10.1109","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3434-7881","authenticated-orcid":false,"given":"Tom","family":"Peham","sequence":"first","affiliation":[{"name":"Chair for Design Automation, Technical University of Munich, München, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4699-1316","authenticated-orcid":false,"given":"Lukas","family":"Burgholzer","sequence":"additional","affiliation":[{"name":"Institute for Integrated Circuits, Johannes Kepler University Linz, Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4993-7860","authenticated-orcid":false,"given":"Robert","family":"Wille","sequence":"additional","affiliation":[{"name":"Chair for Design Automation, Technical University of Munich, München, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511976667"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/s0036144598347011"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/s42254-021-00348-9"},{"key":"ref5","article-title":"A quantum approximate optimization algorithm","volume-title":"arXiv:1411.4028","author":"Farhi","year":"2014"},{"key":"ref6","article-title":"A survey of quantum computing for finance","volume-title":"arXiv:2201.02773","author":"Herman","year":"2022"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1038\/nature23474"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab9359"},{"key":"ref10","first-page":"579","article-title":"A quantum computational compiler and design tool for technology-specific targets","volume-title":"Proc. 46th Int. Symp. Comput. Archit.","author":"Smith"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/aaa5cc"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99498-7_16"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36315-3_9"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2019.10.004"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-018-0072-4"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2022.0541"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1142\/S0219749905001067"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/NANOARCH.2010.5510932"},{"key":"ref19","article-title":"Towards a SAT encoding for quantum circuits: A journey from classical circuits to Clifford circuits and beyond","volume-title":"arXiv:2203.00698","author":"Berent","year":"2022"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586214"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397246"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.287.1"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3032630"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e91-a.2.584"},{"key":"ref25","article-title":"A generic compilation strategy for the unitary coupled cluster ansatz","volume-title":"arXiv:2007.10515","author":"Cowtan","year":"2020"},{"key":"ref26","article-title":"ZX-calculus for the working quantum computer scientist","volume-title":"arXiv:2012.13966","author":"van de Wetering","year":"2020"},{"key":"ref27","article-title":"Graph-theoretic simplification of quantum circuits with the ZX-calculus","volume-title":"arXiv:1902.03178","author":"Duncan","year":"2019"},{"issue":"2","key":"ref28","article-title":"Reducing T-count with the ZX-calculus","volume":"102","author":"Kissinger","year":"2020","journal-title":"Phys. Rev. A, Gen. Phys."},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.318.14"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530480"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2003.1195031"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2459034"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2006.35"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942057"},{"key":"ref35","article-title":"Going beyond Bell\u2019s theorem","volume-title":"arXiv:0712.0921","author":"Greenberger","year":"2007"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.69.010301"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.93.022311"},{"key":"ref39","first-page":"1","article-title":"Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and h operations","volume-title":"Proc. 56th Annu. Design Autom. Conf.","author":"Wille"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304075"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304023"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3604630"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91376-6_6"},{"key":"ref44","article-title":"Tensor networks in a nutshell","volume-title":"arXiv:1708.00006","author":"Biamonte","year":"2017"},{"key":"ref45","article-title":"The ZX-calculus is complete for stabilizer quantum mechanics","volume-title":"arXiv:1307.7025","author":"Backens","year":"2013"},{"key":"ref46","article-title":"A near-optimal axiomatisation of ZX-calculus for pure qubit quantum mechanics","volume-title":"arXiv:1812.09114","author":"Vilmart","year":"2018"},{"key":"ref47","first-page":"1","article-title":"JKQ: JKU tools for quantum computing","volume-title":"Proc. 39th Int. Conf. Comput.-Aided Design","author":"Wille"},{"key":"ref48","first-page":"767","article-title":"Random stimuli generation for the verification of quantum circuits","volume-title":"Proc. 26th Asia South Pacific Design Autom. Conf.","author":"Burgholzer"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/QCE49297.2020.00051"},{"key":"ref50","article-title":"OpenQASM3: A broader and deeper quantum assembly language","volume-title":"arXiv:2104.14722","author":"Cross","year":"2021"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2008.43"},{"key":"ref52","article-title":"MQT bench: Benchmarking software and design automation tools for quantum computing","volume-title":"arXiv:2204.13719","author":"Quetschlich","year":"2022"}],"container-title":["IEEE Journal on Emerging and Selected Topics in Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5503868\/9915329\/09868772.pdf?arnumber=9868772","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T12:18:46Z","timestamp":1706789926000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9868772\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9]]},"references-count":52,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/jetcas.2022.3202204","relation":{},"ISSN":["2156-3357","2156-3365"],"issn-type":[{"value":"2156-3357","type":"print"},{"value":"2156-3365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9]]}}}