@misc{indiciaeeabced0282e3,
  title = {SAT, MaxSAT, and SMT for QLDPC Distance Computation: A Large-Scale Empirical Study},
  author = {Yu-Fang Chen and Seyed Mohammad Reza Jafari and Ching-Yi Lai},
  year = {2026},
  url = {https://arxiv.org/abs/2606.12445},
  note = {Source identifier: 2606.12445}
}