Speeding up SAT solver by exploring CNF symmetries : Revisited
Arup Kumar GhoshPublished in: CoRR (2011)
Keyphrases
- sat solvers
- symmetry breaking
- sat solving
- orders of magnitude
- sat instances
- propositional satisfiability
- constraint satisfaction
- max sat
- sat problem
- search strategies
- boolean satisfiability
- search tree
- clause learning
- search space
- boolean formula
- sat encodings
- constraint programming
- global constraints
- objective function
- computational properties
- metaheuristic
- constraint solver