Keyphrases
- sat solvers
- satisfiability problem
- quantum computation
- quantum computing
- propositional satisfiability
- search algorithm
- sat problem
- stochastic local search algorithms
- stochastic local search
- quantum inspired
- quantum mechanics
- satisfiability testing
- sat solving
- boolean satisfiability
- sat instances
- phase transition
- search space
- channel capacity
- genetic algorithm
- probability ranking principle
- quantum evolutionary algorithm