Quantangle-SAT is a quantum SAT solver using entanglement and equivalence checking that achieves expected O(1) time complexity for random Boolean functions without requiring prior knowledge of the solution count.
Quantum Searching, Counting and Amplitude Amplification by Eigenvector Analysis
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
-
Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking
Quantangle-SAT is a quantum SAT solver using entanglement and equivalence checking that achieves expected O(1) time complexity for random Boolean functions without requiring prior knowledge of the solution count.