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.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
quant-ph 1years
2025 1verdicts
CONDITIONAL 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.