An improved deterministic local search algorithm for 3-SAT.
Tobias BrüggemannWalter KernPublished in: Theor. Comput. Sci. (2004)
Keyphrases
- search algorithm
- satisfiability problem
- stochastic local search algorithms
- max sat
- search space
- search problems
- heuristic search
- search methods
- black box
- search strategy
- backtracking search
- sat solvers
- branch and bound
- tabu search
- stochastic local search
- genetic algorithm
- constraint satisfaction
- selection algorithm
- sat problem
- graph coloring
- search procedure
- metaheuristic
- lower bound
- search procedures
- data sets