Login / Signup
Quantum algorithms for bio-molecular solutions to the satisfiability problem on a quantum computer.
Weng-Long Chang
Ting-Ting Ren
Jun Luo
Mang Feng
Minyi Guo
Published in:
IEEE Congress on Evolutionary Computation (2008)
Keyphrases
</>
satisfiability problem
stochastic local search algorithms
stochastic local search
np complete
orders of magnitude
search algorithm
computational complexity
optimization problems
hybrid algorithms
search space
branch and bound
temporal logic
solving hard