Keyphrases
- satisfiability problem
- sat solvers
- quantum computing
- quantum computation
- sat solving
- sat problem
- propositional satisfiability
- stochastic local search algorithms
- boolean satisfiability
- quantum mechanics
- stochastic local search
- search algorithm
- probability ranking principle
- sat instances
- phase transition
- channel capacity
- pseudo boolean constraints
- modulo theories
- logic circuits
- search strategy
- quantum evolutionary algorithm
- max sat
- search strategies
- quantum inspired
- upper bound
- scheduling problem
- knowledge base