A SAT-based tool automatically synthesizes deterministic, fault-tolerant state preparation circuits for any small CSS quantum error-correcting code, with optimal measurement count.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
quant-ph 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability
A SAT-based tool automatically synthesizes deterministic, fault-tolerant state preparation circuits for any small CSS quantum error-correcting code, with optimal measurement count.