Efficiently Exploiting Dependencies in Local Search for SAT.
Duc Nghia PhamJohn ThorntonAbdul SattarPublished in: AAAI (2008)
Keyphrases
- satisfiability problem
- search algorithm
- stochastic local search
- sat problem
- temporal logic
- search procedures
- stochastic local search algorithms
- search space
- random sat instances
- genetic algorithm
- propositional satisfiability
- tabu search
- simulated annealing
- search strategies
- search tree
- memetic algorithm
- branch and bound
- hill climbing
- search strategy
- optimal solution
- bayesian networks