{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T11:36:27Z","timestamp":1769168187814,"version":"3.49.0"},"reference-count":73,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.23919\/date.2018.8341993","type":"proceedings-article","created":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T23:20:11Z","timestamp":1524525611000},"page":"137-146","source":"Crossref","is-referenced-by-count":30,"title":["Programming quantum computers using design automation"],"prefix":"10.23919","author":[{"given":"Mathias","family":"Soeken","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Haener","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Roetteler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_1"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.116.250501"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.82.1"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611973075.37"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2431211.2431220"},{"key":"ref38","article-title":"Quantum resource estimates for computing elliptic curve discrete logarithms","author":"roetteler","year":"2017","journal-title":"Int'l Conf on the Theory and Applications of Cryptology and Information Security"},{"key":"ref33","year":"2017","journal-title":"Microsoft Quantum Development Kit"},{"key":"ref32","author":"smith","year":"2016","journal-title":"A practical quantum instruction set architecture"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009894"},{"key":"ref30","author":"wecker","year":"2014","journal-title":"LIQUil> A software design architecture and domain-specific language for quantum computing"},{"key":"ref37","author":"nielsen","year":"2000","journal-title":"Quantum Computation and Quantum Information"},{"key":"ref36","author":"cross","year":"2017","journal-title":"Open quantum assembly language"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.4"},{"key":"ref34","author":"steiger","year":"2016","journal-title":"Projectq An open source software framework for quantum computing"},{"key":"ref60","article-title":"Fast heuristic minimization of exclusive-sum-of-products","author":"mishchenko","year":"2001","journal-title":"Proc Reed-Muller Workshop"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2015.21"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2010.5724427"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898107"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2014.12.001"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40578-0_21"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062261"},{"key":"ref66","first-page":"292","article-title":"Time and space complexity of reversible pebbling","author":"kr\u00e1lovic","year":"2001","journal-title":"Conference on Current Trends in Theory and Practice of Informatics"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694357"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59936-6_7"},{"key":"ref68","first-page":"55","article-title":"RevKit: A toolkit for reversible circuit design","volume":"18","author":"soeken","year":"2012","journal-title":"Multiple-Valued Logic and Soft Computing"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2341953"},{"key":"ref2","first-page":"1473","article-title":"A tale of two sieves","volume":"43","author":"pomerance","year":"1996","journal-title":"Notices of the AMS"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539795293172"},{"key":"ref20","year":"2017","journal-title":"IBM builds its most powerful universal quantum computing processors"},{"key":"ref22","year":"2017","journal-title":"Intel delivers 17-qubit superconducting chip with advanced packaging to QuTech"},{"key":"ref21","year":"2017","journal-title":"Unsupervised machine learning on Rigetti 19Q with Forest1 2"},{"key":"ref24","author":"pednault","year":"2017","journal-title":"Breaking the 49-qubit barrier in the simulation of quantum circuits"},{"key":"ref23","year":"2017","journal-title":"IBM announces advances to IBM quantum systems & ecosystem"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.2478\/v10175-011-0039-5"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126947"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1278349.1278355"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2015.03.002"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/12.795226"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45711-5_8"},{"key":"ref57","article-title":"Logic syntheis of reversible wave cascades","author":"mishchenko","year":"2002","journal-title":"Int'l Workshop on Logic and Synthesis"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/PACRIM.2007.4313212"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927035"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927033"},{"key":"ref53","doi-asserted-by":"crossref","first-page":"41:1","DOI":"10.1145\/2786982","article-title":"Embedding of large Boolean functions for reversible logic","volume":"12","author":"soeken","year":"2016","journal-title":"ACM Journal on Emerging Technologies in Computing Systems"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40578-0_22"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF02650179"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1140\/epjqt10"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2015.54"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1126\/science.1113479"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.92.062318"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.65.042323"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.6.031045"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1126\/science.1217069"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1038\/nature23459"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1038\/541009a"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70697-9_9"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"673","DOI":"10.26421\/QIC17.7-8-7","article-title":"Factoring using $2n+2$ qubits with Toffoli based modular multiplication","volume":"18","author":"h\u00e4ner","year":"2017","journal-title":"Quantum Information and Computation"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29360-8_3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.110.250504"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.103.150502"},{"key":"ref49","first-page":"283","article-title":"Exact synthesis of elementary quantum gate circuits","volume":"15","author":"gro\u00dfe","year":"2009","journal-title":"Multiple-Valued Logic and Soft Computing"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-016-1495-5"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2012.6165069"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629984"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/1877745.1877747"},{"key":"ref47","doi-asserted-by":"crossref","first-page":"183","DOI":"10.3934\/amc.2008.2.183","article-title":"Young subgroups for reversible computers","volume":"2","author":"de vos","year":"2008","journal-title":"Advances in Mathematics of Communications"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.93.022311"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2016.33"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.811448"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775915"}],"event":{"name":"2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Dresden","start":{"date-parts":[[2018,3,19]]},"end":{"date-parts":[[2018,3,23]]}},"container-title":["2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8337149\/8341968\/08341993.pdf?arnumber=8341993","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,20]],"date-time":"2022-08-20T19:48:38Z","timestamp":1661024918000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8341993\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":73,"URL":"https:\/\/doi.org\/10.23919\/date.2018.8341993","relation":{},"subject":[],"published":{"date-parts":[[2018,3]]}}}