{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:54:09Z","timestamp":1780674849807,"version":"3.54.1"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.23919\/date.2018.8342060","type":"proceedings-article","created":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T23:20:11Z","timestamp":1524525611000},"page":"503-508","source":"Crossref","is-referenced-by-count":50,"title":["An exact method for design exploration of quantum-dot cellular automata"],"prefix":"10.23919","author":[{"given":"Marcel","family":"Walter","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Grose","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank Sill","family":"Torres","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2004.07.002"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.907020"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SBCCI.2016.7724048"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/NANO.2003.1231803"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1116\/1.1394729"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2016.7538997"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2471996"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1116696.1116697"},{"key":"ref18","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"TACAS\/ETAPS"},{"key":"ref19","first-page":"703","article-title":"Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques","volume":"28","author":"gro\u00dfe","year":"2009","journal-title":"TCAD"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1063\/1.1421217"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-43722-3","author":"anderson","year":"2014","journal-title":"Field-Coupled Nanocomputing Paradigms Progress and Perspectives"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2012.2220565"},{"key":"ref5","article-title":"Tunnel coupled dangling bondstructures on hydrogen terminated silicon surfaces","volume":"134","author":"pitters","year":"2011","journal-title":"JCP"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10825-014-0590-z"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2660540.2660997"},{"key":"ref2","first-page":"2","article-title":"Reframing the roadmap: ITRS 2.0","volume":"58","author":"singer","year":"2015","journal-title":"Solid State Technology"},{"key":"ref9","article-title":"A layout-aware physical design method forconstructing feasible QCA circuits","author":"bubna","year":"2008","journal-title":"Great Lakes Symp VLSI"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1088\/0957-4484\/4\/1\/004"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2356463"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.875791"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593135"},{"key":"ref24","first-page":"364","article-title":"Novel code converters based on quantum-dot cellular automata (QCA)","volume":"3","author":"ahmad","year":"2014","journal-title":"IJSR"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2618869"},{"key":"ref26","article-title":"Two-layer synchronized ternary quantum-dot cellular automata wire crossings","volume":"7","author":"il","year":"2012","journal-title":"Nanoscale Res Lett"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/NORCHP.2007.4481078"}],"event":{"name":"2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Dresden","start":{"date-parts":[[2018,3,19]]},"end":{"date-parts":[[2018,3,23]]}},"container-title":["2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8337149\/8341968\/08342060.pdf?arnumber=8342060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,6]],"date-time":"2024-07-06T07:25:11Z","timestamp":1720250711000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8342060\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":26,"URL":"https:\/\/doi.org\/10.23919\/date.2018.8342060","relation":{},"subject":[],"published":{"date-parts":[[2018,3]]}}}