{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T10:14:03Z","timestamp":1775384043576,"version":"3.50.1"},"reference-count":35,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,1,22]]},"DOI":"10.1109\/asp-dac58780.2024.10473902","type":"proceedings-article","created":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T19:06:53Z","timestamp":1711393613000},"page":"127-133","source":"Crossref","is-referenced-by-count":19,"title":["Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Schoenberger","sequence":"first","affiliation":[{"name":"Technical University of Munich,Chair for Design Automation,Germany"}]},{"given":"Stefan","family":"Hillmich","sequence":"additional","affiliation":[{"name":"Software Competence Center Hagenberg GmbH,Austria"}]},{"given":"Matthias","family":"Brandl","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG,Germany"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Chair for Design Automation,Germany"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.8.011044"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511976667"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1038\/nature07128"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.22331\/q-2020-09-21-327"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ad33ac"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1038\/35051009"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1063\/1.5088164"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1038\/nature00784"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-021-03318-4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.22331\/q-2023-11-08-1175"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA45697.2020.00051"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_10"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580110"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691102"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714898"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2019.8894250"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/43.108614"},{"key":"ref20","first-page":"1","article-title":"SMT-based stimuli generation in the SystemC verification library","volume-title":"Forum on Specification and Design Languages","author":"Wille"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2897703"},{"issue":"1-2","key":"ref22","first-page":"49","article-title":"Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT","volume":"70","author":"Khomenko","year":"2006","journal-title":"Fundam. Informaticae"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1145\/3316781.3317859","article-title":"Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations","volume-title":"Design Automation Conf.","author":"Wille"},{"key":"ref24","first-page":"18:1","article-title":"Towards a SAT encoding for quantum circuits: A journey from classical circuits to clifford circuits and beyond","volume-title":"Conference on Theory and Applications of Satisfiability Testing","volume":"236","author":"Berent"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3569052.3578928"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00095"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.74.4091"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.113.220501"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1038\/nature18648"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1038\/s41578-021-00292-1"},{"key":"ref31","volume-title":"A quantum von neumann architecture for large-scale quantum computing","author":"Brandl","year":"2017"},{"key":"ref32","volume-title":"Handbook of Satisfiability \u2013 Second Edition (Frontiers in Artificial Intelligence and Applications)","volume":"336","author":"Biere","year":"2021"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45193-8_8"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.22331\/q-2023-07-20-1062"}],"event":{"name":"2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Incheon, Korea, Republic of","start":{"date-parts":[[2024,1,22]]},"end":{"date-parts":[[2024,1,25]]}},"container-title":["2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10473777\/10473787\/10473902.pdf?arnumber=10473902","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T21:33:45Z","timestamp":1711488825000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10473902\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,22]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/asp-dac58780.2024.10473902","relation":{},"subject":[],"published":{"date-parts":[[2024,1,22]]}}}