Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning.
Adrian BalintNorbert MantheyPublished in: POS@SAT (2013)
Keyphrases
- sat solvers
- stochastic local search
- sat instances
- sat problem
- max sat
- sat encodings
- clause learning
- boolean satisfiability
- sat solving
- orders of magnitude
- constraint satisfaction
- propositional satisfiability
- search space
- search strategies
- learning algorithm
- search tree
- constraint satisfaction problems
- combinatorial optimization
- linear programming
- data structure