A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation.
Xiao Yu LiMatthias F. M. StallmannFranc BrglezPublished in: SAT (2003)
Keyphrases
- sat solvers
- propositional satisfiability
- search strategies
- search space
- clause learning
- unit propagation
- orders of magnitude
- max sat
- sat encodings
- constraint satisfaction
- sat problem
- search strategy
- search algorithm
- search tree
- boolean satisfiability
- davis putnam
- genetic algorithm
- tabu search
- lower bound
- data structure