Quantum cooperative search algorithm for 3-SAT.
Sheng-Tzong ChengMing-Hung TaoPublished in: J. Comput. Syst. Sci. (2007)
Keyphrases
- search algorithm
- cooperative
- satisfiability problem
- heuristic search
- backtracking search
- search methods
- search space
- max sat
- stochastic local search algorithms
- search strategies
- branch and bound
- search strategy
- sat solvers
- multi agent systems
- cooperative learning
- quantum inspired
- logic circuits
- search procedures
- tree search
- multi agent
- game theory
- tabu search
- sat problem
- search problems
- heuristic function
- search procedure
- distributed problem solving
- search tree
- cooperating agents
- graph search
- stochastic local search
- sat encodings
- channel capacity
- phase transition
- quantum computation