A Clause-Based Heuristic for SAT Solvers.
Nachum DershowitzZiyad HannaAlexander NadelPublished in: SAT (2005)
Keyphrases
- sat solvers
- clause learning
- search space
- search strategies
- constraint satisfaction
- boolean formula
- orders of magnitude
- max sat
- propositional satisfiability
- sat solving
- sat problem
- optimal solution
- boolean satisfiability
- unit propagation
- sat instances
- search algorithm
- clause learning sat solvers
- search tree
- search strategy
- stochastic local search
- search methods
- heuristic search
- tabu search
- weighted max sat
- cnf formula
- sat encodings
- genetic algorithm
- special case
- simulated annealing
- np complete
- constraint satisfaction problems
- integer linear programming
- tree search
- satisfiability problem
- theorem prover