{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T13:00:38Z","timestamp":1773406838412,"version":"3.50.1"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,11]]},"DOI":"10.1109\/iccad.2007.4397246","type":"proceedings-article","created":{"date-parts":[[2008,1,9]],"date-time":"2008-01-09T19:22:47Z","timestamp":1199906567000},"page":"69-74","source":"Crossref","is-referenced-by-count":55,"title":["Checking equivalence of quantum circuits and states"],"prefix":"10.1109","author":[{"given":"George F.","family":"Viamontes","sequence":"first","affiliation":[]},{"given":"Igor L.","family":"Markov","sequence":"additional","affiliation":[]},{"given":"John P.","family":"Hayes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.79.325"},{"key":"ref11","author":"hey","year":"1999","journal-title":"Feynman and Computation Exploring the limits of computers"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278717"},{"key":"ref13","author":"nielsen","year":"2000","journal-title":"Quantum Computation and Quantum Information"},{"key":"ref14","article-title":"Algorithms and data structures for simplifying reversible circuits","author":"prasad","year":"2007","journal-title":"to appear in ACM J of Emerging Technologies in Computing"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.855930"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"49","DOI":"10.26421\/QIC5.1-5","article-title":"Quantum circuits for incompletely specified two-qubit operators","volume":"5","author":"shende","year":"2005","journal-title":"Quantum Information and Computation"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539795293172"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"361","DOI":"10.26421\/QIC4.5-2","article-title":"Optimal realizations of simplified Toffoli gates","volume":"4","author":"song","year":"2004","journal-title":"Quantum Information and Computation"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/43.476582"},{"key":"ref4","first-page":"175","article-title":"Quantum cryptography: public key distribution and coin tossing","author":"bennett","year":"1984","journal-title":"Proc IEEE Int Conf Comp Sys & Sig Process"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.66.042312"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.68.3121"},{"key":"ref8","article-title":"A new quantum ripple-carry addition circuit","author":"cuccaro","year":"2004","journal-title":"quant-ph\/0410184"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref2","article-title":"Algebraic decision diagrams and their applications","volume":"10","author":"bahar","year":"1997","journal-title":"Journal of Formal Methods in System Design"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCC.2004.1332711"},{"key":"ref9","article-title":"The Heisenberg representation of quantum computers","author":"gottesman","year":"1998","journal-title":"Plenary Speech at the 1998 International Conference on Group Theoretic Methods in Physics"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.71.052320"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1023\/B:QINP.0000022725.70000.4a"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"113","DOI":"10.26421\/QIC5.2-3","article-title":"Graph-based simulation of quantum computation in the density matrix representation","volume":"5","author":"viamontes","year":"2005","journal-title":"Quantum Information and Computation"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.63.046702"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.91.147902"}],"event":{"name":"2007 IEEE\/ACM International Conference on Computer-Aided Design","location":"San Jose, CA, USA","start":{"date-parts":[[2007,11,4]]},"end":{"date-parts":[[2007,11,8]]}},"container-title":["2007 IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4397222\/4397223\/04397246.pdf?arnumber=4397246","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T09:47:34Z","timestamp":1630489654000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4397246\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/iccad.2007.4397246","relation":{},"ISSN":["1092-3152"],"issn-type":[{"value":"1092-3152","type":"print"}],"subject":[],"published":{"date-parts":[[2007,11]]}}}