A Polynomial Time Bounded-error Quantum Algorithm for Boolean Satisfiability.

Ahmed Younes Jonathan E. Rowe

Published 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