A Linear Time Algorithm for Quantum 2-SAT.
J. Niel de BeaudrapSevag GharibianPublished in: Computational Complexity Conference (2016)
Keyphrases
- sat solvers
- satisfiability problem
- quantum computing
- quantum computation
- sat problem
- propositional satisfiability
- boolean satisfiability
- search algorithm
- phase transition
- quantum inspired
- sat solving
- quantum mechanics
- stochastic local search
- steiner tree
- search strategies
- quantum evolutionary algorithm
- data sets
- sat encodings
- max sat
- stochastic local search algorithms
- orders of magnitude
- pseudo boolean constraints
- search procedures
- probability ranking principle