SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators.
Tomi JanhunenShahab TasharrofiEugenia TernovskaPublished in: AAAI (2016)
Keyphrases
- sat solvers
- propositional satisfiability
- sat problem
- sat solving
- orders of magnitude
- boolean satisfiability
- sat instances
- search space
- max sat
- constraint satisfaction
- constraint programming
- search strategies
- search tree
- sat encodings
- weighted max sat
- backtrack search
- constraint satisfaction problems
- constraint propagation
- boolean formula
- automated reasoning
- clause learning
- global constraints
- satisfiability problem
- evolutionary algorithm