{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:33:34Z","timestamp":1729668814913,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/ddecs.2014.6868776","type":"proceedings-article","created":{"date-parts":[[2014,8,8]],"date-time":"2014-08-08T14:34:40Z","timestamp":1407508480000},"page":"129-134","source":"Crossref","is-referenced-by-count":2,"title":["Optimizing DD-based synthesis of reversible circuits using negative control lines"],"prefix":"10.1109","author":[{"given":"Eleonora","family":"Schonborn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kamalika","family":"Datta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Indranil","family":"Sengupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hafizur","family":"Rahaman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.871622"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/1629911.1629984","article-title":"bdd-based synthesis of reversible logic for large functions","author":"wille","year":"2009","journal-title":"2009 46th ACM\/IEEE Design Automation Conference dac"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/PACRIM.2007.4313212"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2010.5724427"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.02.006"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2012.71"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1166\/jolpe.2013.1261"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/978-3-642-38986-3_17","article-title":"Exploiting negative control lines in the optimization of reversible circuits","author":"datta","year":"2013","journal-title":"Int'l Conf on Reversible Computation"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/978-3-642-38986-3_16","article-title":"White dots do matter: Rewriting reversible logic circuits","author":"soeken","year":"2013","journal-title":"Int'l Conf on Reversible Computation"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176648"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2008.43"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/nature10872"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1364\/ON.11.2.000011"},{"journal-title":"Quantum Computation and Quantum Information","year":"2000","author":"nielsen","key":"ref5"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/TCAD.2009.2017215","article-title":"Exact multiple-control Toffoli network synthesis with SAT techniques","volume":"28","author":"gro\u00dfe","year":"2009","journal-title":"IEEE Trans on CAD"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1007\/3-540-10003-2_104","article-title":"Reversible computing","author":"toffoli","year":"1980","journal-title":"Automata Languages and Programming"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1147\/rd.176.0525"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.847911"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.53.0183"},{"key":"ref20","first-page":"288","article-title":"Elementary quantum gate realizations for multiple-control Toffolli gates","author":"miller","year":"2011","journal-title":"Int'l Symp on Multiple-Valued Logic"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.911334"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/43.728917"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1145\/196244.196444","article-title":"efficient representation and manipulation of switching functions based on ordered kronecker functional decision diagrams","author":"drechsler","year":"1994","journal-title":"31st Design Automation Conference"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29517-1_6"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59175-3_82"}],"event":{"name":"2014 IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","start":{"date-parts":[[2014,4,23]]},"location":"Warsaw, Poland","end":{"date-parts":[[2014,4,25]]}},"container-title":["17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6862738\/6868744\/06868776.pdf?arnumber=6868776","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T14:10:22Z","timestamp":1498140622000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6868776\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/ddecs.2014.6868776","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}