{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:57:50Z","timestamp":1729677470187,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/afrcon.2013.6757630","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T22:15:04Z","timestamp":1394230504000},"page":"1-6","source":"Crossref","is-referenced-by-count":9,"title":["A compact and efficient SAT encoding for quantum circuits"],"prefix":"10.1109","author":[{"given":"Robert","family":"Wille","sequence":"first","affiliation":[]},{"given":"Nils","family":"Przigoda","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.1999.761110"},{"key":"17","first-page":"174","article-title":"Boolector: An efficient SMT solver for bit-vectors and arrays","author":"brummayer","year":"2009","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580110"},{"key":"15","article-title":"Gatelevel simulation of quantum circuits","author":"viamontes","year":"2003","journal-title":"ASP Design Automation Conf"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2006.35"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2011.77"},{"key":"14","article-title":"Property checking of quantum circuits using quantum multiple-valued decision diagrams","author":"seiter","year":"2012","journal-title":"Workshop on Reversible Computation"},{"key":"11","first-page":"873","article-title":"An efficient verification of quantum circuits under a practical restriction","author":"yamashita","year":"2008","journal-title":"Int'l Conf on Computer and Information Technology"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2009.19"},{"key":"21","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/10722167_13","article-title":"Combining decision diagrams and SAT procedures for efficient symbolic model checking","volume":"1855","author":"williams","year":"2000","journal-title":"Computer Aided Verification Ser LNCS"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781333"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/43.108614"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923107"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"25","first-page":"115","article-title":"On the complexity of derivation in propositional calculus","volume":"2","author":"tseitin","year":"1968","journal-title":"Studies in Constructive Mathematics and Mathematical Logic"},{"key":"26","first-page":"64","article-title":"RevKit: An open source toolkit for the design of reversible circuits","volume":"7165","author":"soeken","year":"2012","journal-title":"Reversible Computation 2011 Ser Lecture Notes in Computer Science"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2008.43"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1038\/414883a"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e91-a.2.584"},{"journal-title":"Quantum Computation and Quantum Information","year":"2000","author":"nielsen","key":"1"},{"key":"7","article-title":"Synthesis and optimization of reversible circuits - A survey","author":"saeedi","year":"2012","journal-title":"ACM Computing Surveys"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2011.40"},{"key":"5","first-page":"506","article-title":"The quantum complexity of group testing","author":"do?rn","year":"2008","journal-title":"Conf on Current Trends in Theory and Practice of Computer Science"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397246"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2005.9"}],"event":{"name":"AFRICON 2013","start":{"date-parts":[[2013,9,9]]},"location":"Pointe-Aux-Piments, Mauritius","end":{"date-parts":[[2013,9,12]]}},"container-title":["2013 Africon"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6746871\/6757586\/06757630.pdf?arnumber=6757630","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T09:15:26Z","timestamp":1498122926000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6757630\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/afrcon.2013.6757630","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}