{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:41:22Z","timestamp":1773247282791,"version":"3.50.1"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.23919\/date.2019.8715092","type":"proceedings-article","created":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T21:29:07Z","timestamp":1558042147000},"page":"288-291","source":"Crossref","is-referenced-by-count":28,"title":["Reversible Pebbling Game for Quantum Memory Management"],"prefix":"10.23919","author":[{"given":"Giulia","family":"Meuli","sequence":"first","affiliation":[]},{"given":"Mathias","family":"Soeken","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Roetteler","sequence":"additional","affiliation":[]},{"given":"Nikolaj","family":"Bjorner","sequence":"additional","affiliation":[]},{"given":"Giovanni De","family":"Micheli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Fast and efficient exact synthesis of single qubit unitaries generated by Clifford and T gates","author":"kliuchnikov","year":"2012"},{"key":"ref11","article-title":"On the controlled-NOT complexity of controlled-NOT–phase circuits","author":"amy","year":"2019","journal-title":"Quantum Science and Technology"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99498-7_12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-018-0072-4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/0218053"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2015.36"},{"key":"ref16","article-title":"An analysis of Bennett’s pebble game","author":"knill","year":"1995"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2017.07.009"},{"key":"ref18","article-title":"Quantum computation and quantum information","author":"nielsen","year":"2000"},{"key":"ref19","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/541009a"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.8.031022"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/18\/3\/033032"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.103.150502"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1619152114"},{"key":"ref2","article-title":"IBM raises the bar with a 50-qubit quantum computer","author":"knight","year":"2017","journal-title":"Sighted at MIT Review Technology"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8341993"},{"key":"ref1","article-title":"A preview of bristlecone, google’s new quantum processor","author":"kelly","year":"2018","journal-title":"Google Research Blog"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38348-9_12"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927035"},{"key":"ref21","article-title":"The EPFL logic synthesis libraries","author":"soeken","year":"2018"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"ref23","article-title":"IBM builds its most powerful universal quantum computing processors","year":"2017"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1618020114"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"}],"event":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Florence, Italy","start":{"date-parts":[[2019,3,25]]},"end":{"date-parts":[[2019,3,29]]}},"container-title":["2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8704855\/8714721\/08715092.pdf?arnumber=8715092","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T23:49:35Z","timestamp":1559605775000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8715092\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":26,"URL":"https:\/\/doi.org\/10.23919\/date.2019.8715092","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}