A Polynomial Time Bounded-error Quantum Algorithm for Boolean Satisfiability.
Ahmed YounesJonathan E. RowePublished in: CoRR (2015)
Keyphrases
- learning algorithm
- computational complexity
- worst case
- boolean satisfiability
- maximum satisfiability
- randomly generated
- search strategy
- dynamic programming
- evolutionary algorithm
- ant colony optimization
- optimal solution
- special case
- simulated annealing
- traveling salesman problem
- search space
- search algorithm
- integer linear programming
- objective function