{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T17:48:07Z","timestamp":1774374487685,"version":"3.50.1"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/nanoarch.2010.5510932","type":"proceedings-article","created":{"date-parts":[[2010,7,23]],"date-time":"2010-07-23T13:50:59Z","timestamp":1279893059000},"page":"23-28","source":"Crossref","is-referenced-by-count":31,"title":["Fast equivalence-checking for quantum circuits"],"prefix":"10.1109","author":[{"given":"Shigeru","family":"Yamashita","sequence":"first","affiliation":[]},{"given":"Igor L.","family":"Markov","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","author":"nielsen","year":"2000","journal-title":"Quantum Computation and Quantum Information"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"1221","DOI":"10.1126\/science.1173731","article-title":"Shor's Quantum Factoring Algorithm on a Photonic Chip","volume":"325","author":"politi","year":"2009","journal-title":"Science 4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1216396.1216399"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539795293172"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.4"},{"key":"ref15","author":"tucci","year":"2004","journal-title":"QC Paulinesia"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/B:QINP.0000022725.70000.4a"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397246"},{"key":"ref18","year":"0","journal-title":"The ABC Home Page"},{"key":"ref19","year":"0","journal-title":"MiniSat Home Page"},{"key":"ref4","first-page":"419","article-title":"Transformation Rules for Designing CNOT-based Quantum Circuits","author":"iwama","year":"2002","journal-title":"DAC"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.79.325"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.911334"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.76.052310"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2006.35"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.71.052320"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"237","DOI":"10.26421\/QIC4.4-1","article-title":"Implementation of Shor's algorithm on a linear nearest neighbour qubit array","volume":"4","author":"fowler","year":"2004","journal-title":"Quantum Information and Computation"},{"key":"ref1","author":"cuccaro","year":"2004","journal-title":"A New Quantum Ripple-Carry Addition Circuit"},{"key":"ref9","first-page":"836","article-title":"Improvements to combinational equivalence checking","author":"mishchenko","year":"2006","journal-title":"ICCAD"}],"event":{"name":"2010 IEEE\/ACM International Symposium on Nanoscale Architectures (NANOARCH)","location":"Anaheim, CA, USA","start":{"date-parts":[[2010,6,17]]},"end":{"date-parts":[[2010,6,18]]}},"container-title":["2010 IEEE\/ACM International Symposium on Nanoscale Architectures"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5506521\/5510921\/05510932.pdf?arnumber=5510932","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T06:54:14Z","timestamp":1635749654000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5510932\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/nanoarch.2010.5510932","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}