{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:16:32Z","timestamp":1729624592905,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/idt.2010.5724427","type":"proceedings-article","created":{"date-parts":[[2011,3,8]],"date-time":"2011-03-08T06:27:16Z","timestamp":1299565636000},"page":"143-148","source":"Crossref","is-referenced-by-count":21,"title":["Hierarchical synthesis of reversible circuits using positive and negative Davio decomposition"],"prefix":"10.1109","author":[{"given":"Mathias","family":"Soeken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Wille","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","first-page":"1015","article-title":"Quantified synthesis of reversible logic","author":"wille","year":"2008","journal-title":"Design Automation and Test in Europe"},{"key":"ref11","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":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775915"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996789"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.871622"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1278349.1278355"},{"key":"ref16","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":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36265-7_59"},{"key":"ref19","first-page":"103","article-title":"A new partitioning method for LUT-based FPGAs","volume":"1","author":"ko","year":"2003","journal-title":"Electrical and Computer Engineering 2003 IEEE CCECE 2003 Canadian Conference on"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"ref4","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":"ref27","article-title":"PUMA: An OKFDD-package and its implementation","author":"drechsler","year":"1995","journal-title":"European Design & Test Conf"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01857727"},{"journal-title":"Quantum Computation and Quantum Information","year":"2000","author":"nielsen","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-9260(02)00051-2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1120725.1120777"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.811448"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1147\/rd.176.0525"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.858352"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.53.0183"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1023\/B:JETT.0000042513.15382.e7"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"ref21","article-title":"RevKit: A toolkit for reversible circuit design","author":"soeken","year":"2010","journal-title":"Workshop on Reversible Computation"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60084-1_98"},{"key":"ref23","first-page":"438","article-title":"How many decomposition types do we need?","author":"becker","year":"1995","journal-title":"European Design & Test Conf"},{"journal-title":"CUDD CU decision diagram package&#x2014 Release 2 2 0","year":"2001","author":"somenzi","key":"ref26"},{"key":"ref25","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"}],"event":{"name":"2010 5th International Design and Test Workshop (IDT)","start":{"date-parts":[[2010,12,14]]},"location":"Abu Dhabi, United Arab Emirates","end":{"date-parts":[[2010,12,15]]}},"container-title":["2010 5th International Design and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5720574\/5724383\/05724427.pdf?arnumber=5724427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T16:48:10Z","timestamp":1497890890000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5724427\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/idt.2010.5724427","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}