{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:05:17Z","timestamp":1747973117464,"version":"3.41.0"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T00:00:00Z","timestamp":1743379200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T00:00:00Z","timestamp":1743379200000},"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":[[2025,3,31]]},"DOI":"10.23919\/date64628.2025.10992896","type":"proceedings-article","created":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T17:36:35Z","timestamp":1747848995000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability"],"prefix":"10.23919","author":[{"given":"Ludwig","family":"Schmid","sequence":"first","affiliation":[{"name":"Chair for Design Automation, Technical University of Munich,Munich,Germany,80333"}]},{"given":"Tom","family":"Peham","sequence":"additional","affiliation":[{"name":"Chair for Design Automation, Technical University of Munich,Munich,Germany,80333"}]},{"given":"Lucas","family":"Berent","sequence":"additional","affiliation":[{"name":"Chair for Design Automation, Technical University of Munich,Munich,Germany,80333"}]},{"given":"Markus","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"Institute for Quantum Information, RWTH Aachen University,Aachen,Germany,52056"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[{"name":"Chair for Design Automation, Technical University of Munich,Munich,Germany,80333"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/258533.258579"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.100.062307"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-023-06927-3"},{"journal-title":"An Introduction to Topological Quantum Codes","year":"2013","author":"Bombin","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.76.012305"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.5.020345"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.54.1098"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-02-08-53"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1063\/1.1499754"},{"journal-title":"Designing fault-tolerant circuits using detector error models","year":"2024","author":"Derks","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1038\/srep19578"},{"key":"ref13","article-title":"Stabilizer codes and quantum error correction","volume-title":"Caltech","author":"Gottesman","year":"1997"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevResearch.6.013177"},{"journal-title":"Efficient fault-tolerant code switching via one-way transversal CNOT gates","year":"2024","author":"Heu\u00dfen","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.5.010333"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.107.042422"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1070\/RM1997v052n06ABEH002155"},{"journal-title":"Demonstration of logical qubits and repeated error correction with better-than-physical error rates","year":"2024","author":"da Silva","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511976667"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.26421\/qic12.11-12-10"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1103\/prxquantum.6.020330"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00095"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1038\/s41567-024-02727-2"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-022-04721-1"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1998.0167"},{"volume-title":"QECC","key":"ref27","article-title":"Bounds and Circuits for wsd CSS Codes"},{"journal-title":"Demonstration of quantum computation and error correction with a tesseract code","year":"2024","author":"Reichardt","key":"ref28"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.11.041058"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1996.548464"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.R2493"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevApplied.18.014072"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.77.793"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.54.4741"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/18.771249"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/QSW62656.2024.00013"},{"journal-title":"Dpwinter\/qsample","year":"2024","key":"ref37"},{"journal-title":"Quantum Circuit Discovery for Fault-Tolerant Logical State Preparation with Reinforcement Learning","year":"2024","author":"Zen","key":"ref38"}],"event":{"name":"2025 Design, Automation & Test in Europe Conference (DATE)","start":{"date-parts":[[2025,3,31]]},"location":"Lyon, France","end":{"date-parts":[[2025,4,2]]}},"container-title":["2025 Design, Automation & Test in Europe Conference (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10992638\/10992588\/10992896.pdf?arnumber=10992896","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T05:46:29Z","timestamp":1747892789000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10992896\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,31]]},"references-count":38,"URL":"https:\/\/doi.org\/10.23919\/date64628.2025.10992896","relation":{},"subject":[],"published":{"date-parts":[[2025,3,31]]}}}