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.
We describe the key deductions grouped by the column structure that generates them
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.