TY  - RPRT
TI  - Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability
AU  - Ludwig Schmid
AU  - Tom Peham
AU  - Lucas Berent
AU  - Markus Müller
AU  - Robert Wille
PY  - 2025
UR  - https://arxiv.org/abs/2501.05527
ID  - 2501.05527
ER  -