A family of planted-solution SAT and Ising benchmarks is generated from integer factorization, with known ground-truth factors, O(d^4) carry contractions for d-bit primes, and empirically exponential median runtime in bit length.
(5)], and the 12 residual XOR clauses each produce 4 CNF clauses [Eq
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
-
Planted-solution SAT and Ising benchmarks from integer factorization
A family of planted-solution SAT and Ising benchmarks is generated from integer factorization, with known ground-truth factors, O(d^4) carry contractions for d-bit primes, and empirically exponential median runtime in bit length.