An improved local search algorithm for 3-SAT.
Tobias BrüggemannWalter KernPublished in: Electron. Notes Discret. Math. (2004)
Keyphrases
- search algorithm
- satisfiability problem
- heuristic search
- branch and bound
- max sat
- stochastic local search algorithms
- search methods
- search space
- search strategy
- search strategies
- search problems
- backtracking search
- tabu search
- data sets
- search procedure
- phase transition
- sat solving
- propositional satisfiability
- sat solvers
- boolean functions
- orders of magnitude
- learning algorithm