Integrating Conflict Driven Clause Learning to Local Search
Gilles AudemardJean-Marie LagniezBertrand MazureLakhdar SaisPublished in: LSCS (2009)
Keyphrases
- clause learning
- sat solvers
- propositional satisfiability
- satisfiability problem
- conflict resolution
- sat solving
- search algorithm
- search space
- combinatorial optimization
- sat problem
- genetic algorithm
- boolean satisfiability
- constraint satisfaction
- metaheuristic
- np complete
- automated reasoning
- optimization problems
- simulated annealing
- evolutionary algorithm
- data structure