A neutral-atom quantum computer can approximately count solutions to planar 2-SAT formulas by quenching Rydberg atoms and sampling the resulting states, as demonstrated numerically on grids.
Valiant, Theoretical Computer Science 8, 189 (1979)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
quant-ph 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Quantum Counting in the Rydberg Blockade
A neutral-atom quantum computer can approximately count solutions to planar 2-SAT formulas by quenching Rydberg atoms and sampling the resulting states, as demonstrated numerically on grids.