An Evolutionary Local Search Algorithm for the Satisfiability Problem.
Levent AksoyEce Olcay GünesPublished in: TAINN (2005)
Keyphrases
- satisfiability problem
- search algorithm
- pspace complete
- branch and bound
- sat problem
- search strategy
- search methods
- heuristic search
- stochastic local search
- search space
- search tree
- stochastic local search algorithms
- solving hard
- tabu search
- sat instances
- search strategies
- max sat
- decision procedures
- genetic algorithm
- tree search
- np complete
- dynamic programming