SAT, MaxSAT, and SMT for QLDPC Distance Computation: A Large-Scale Empirical Study

Yu-Fang Chen, Seyed Mohammad Reza Jafari, Ching-Yi Lai

Exact distance computation for quantum LDPC (QLDPC) codes plays a central role in validating candidate fault-tolerant quantum-code constructions, yet the computational structure of…