Optimal synthesis of stabilizer codes via maxsat

K Yin, H Zhang, Y Shi, T Humble, A Li… - arXiv preprint arXiv …, 2023 - arxiv.org
Quantum Error Correction (QEC) codes are crucial for achieving fault-tolerant quantum
computing in the long term. However, efficiently implementing these codes on hardware …