Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT.
Shaowei CaiPublished in: FMCAD (2023)
Keyphrases
- sat solvers
- propositional satisfiability
- clause learning
- sat solving
- search space
- sat encodings
- search strategies
- sat instances
- orders of magnitude
- sat problem
- boolean satisfiability
- constraint satisfaction
- search tree
- max sat
- stochastic local search
- search algorithm
- genetic algorithm
- satisfiability problem
- variable ordering
- davis putnam
- answer sets
- search strategy
- combinatorial optimization
- simulated annealing
- unit propagation