Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2.

Diogo Fernandes Carla Silva Inês Dutra

Published in: XRDS (2019)

Keyphrases

search space
search algorithm
search strategy
satisfiability problem
learning algorithm
optimal solution
computational complexity
combinatorial optimization
objective function
dynamic programming
particle swarm optimization
search procedure
constraint solver