SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers.
Norbert MantheyMarius LindauerPublished in: SAT (2016)
Keyphrases
- sat solvers
- configuration space
- orders of magnitude
- propositional satisfiability
- max sat
- sat problem
- degrees of freedom
- search space
- boolean satisfiability
- constraint satisfaction
- weighted max sat
- path planning
- motion planning
- search strategies
- viewpoint
- clause learning
- sat solving
- search algorithm
- sat instances
- d objects
- lower bound
- machine learning
- clause learning sat solvers