Large empirical benchmark shows cardinality handling and branch-and-bound MaxSAT outperform XOR reasoning and Brouwer-Zimmermann search for QLDPC distance computation.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
quant-ph 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
SAT, MaxSAT, and SMT for QLDPC Distance Computation: A Large-Scale Empirical Study
Large empirical benchmark shows cardinality handling and branch-and-bound MaxSAT outperform XOR reasoning and Brouwer-Zimmermann search for QLDPC distance computation.