{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:48:24Z","timestamp":1780674504841,"version":"3.54.1"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T00:00:00Z","timestamp":1776643200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T00:00:00Z","timestamp":1776643200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100004326","name":"Bayer","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100004326","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,4,20]]},"DOI":"10.23919\/date69613.2026.11539523","type":"proceedings-article","created":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T19:53:10Z","timestamp":1780602790000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["Quantum Circuit Compilation for Superconducting Bus-Resonator Architectures"],"prefix":"10.23919","author":[{"given":"Patrick","family":"Hopf","sequence":"first","affiliation":[{"name":"Munich Quantum Software Company (MQSC),Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lukas","family":"Burgholzer","sequence":"additional","affiliation":[{"name":"Munich Quantum Software Company (MQSC),Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[{"name":"Munich Quantum Software Company (MQSC),Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-conmatphys-031119-050605"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1063\/1.5088164"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3513262"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1088\/0953-4075\/49\/20\/202001"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ad33ac"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1038\/nature06184"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1038\/nature06124"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.119.180511"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1126\/science.aay0600"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1103\/8x68-cx1w"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1103\/8m33-wn4g"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.394.8"},{"key":"ref13","first-page":"190","article-title":"A SAT encoding for optimal Clifford circuit synthesis","volume-title":"Proceedings of the Asia and South Pacific Design Automation Conference","author":"Schneider"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.032332"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2244643"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00095"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/QCE53715.2022.00068"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DAC56929.2023.10247760"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21500-2_10"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643554"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304023"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3593594"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00090"},{"key":"ref24","first-page":"5:1","article-title":"On the qubit routing problem","volume-title":"Conference on the Theory of Quantum Computation, Communication and Cryptography","author":"Cowtan"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3569052.3578928"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846658"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304023"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.23919\/DATE64628.2025.10992761"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.6.020330"},{"key":"ref30","first-page":"142","article-title":"Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations","volume-title":"Proceedings of the 56th Annual Design Automation Conference","author":"Wille"},{"key":"ref31","first-page":"18","article-title":"Towards a SAT encoding for quantum circuits: A journey from classical circuits to Clifford circuits and beyond","volume-title":"25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, LIPIcs","author":"Berent"},{"key":"ref32","first-page":"3:1","article-title":"The CP-SAT-LP solver","volume-title":"International Conference on Principles and Practice of Constraint Programming","volume":"280","author":"Perron"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.22331\/q-2023-07-20-1062"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/QSW62656.2024.00013"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3773656.3773669"}],"event":{"name":"2026 Design, Automation & Test in Europe Conference (DATE)","location":"Verona, Italy","start":{"date-parts":[[2026,4,20]]},"end":{"date-parts":[[2026,4,22]]}},"container-title":["2026 Design, Automation & Test in Europe Conference (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11539023\/11539024\/11539523.pdf?arnumber=11539523","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T05:15:51Z","timestamp":1780636551000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11539523\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,20]]},"references-count":36,"URL":"https:\/\/doi.org\/10.23919\/date69613.2026.11539523","relation":{},"subject":[],"published":{"date-parts":[[2026,4,20]]}}}