Intensification Search in Modern SAT Solvers - (Poster Presentation).
Saïd JabbourJerry LonlacLakhdar SaïsPublished in: SAT (2012)
Keyphrases
- sat solvers
- search strategies
- search space
- search algorithm
- search strategy
- sat solving
- propositional satisfiability
- orders of magnitude
- symmetry breaking
- sat problem
- boolean satisfiability
- max sat
- search methods
- constraint programming
- search tree
- heuristic search
- data structure
- machine learning
- user queries
- tabu search
- simulated annealing
- evolutionary algorithm
- optimal solution
- genetic algorithm