Boosting Local Search Thanks to cdcl.
Gilles AudemardJean-Marie LagniezBertrand MazureLakhdar SaisPublished in: LPAR (Yogyakarta) (2010)
Keyphrases
- sat solvers
- clause learning
- propositional satisfiability
- search space
- search strategies
- sat encodings
- sat solving
- search algorithm
- sat problem
- orders of magnitude
- genetic algorithm
- sat instances
- max sat
- memetic algorithm
- constraint satisfaction
- search tree
- tabu search
- combinatorial optimization
- learning algorithm
- satisfiability problem
- simulated annealing
- search strategy
- stochastic local search
- optimization problems
- lower bound
- propositional logic
- evolutionary algorithm
- heuristic search
- graph coloring
- optimal solution