Keyphrases
- symmetry breaking
- sat solving
- sat solvers
- boolean satisfiability
- propositional satisfiability
- constraint programming
- search tree
- sat problem
- theorem proving
- sat instances
- orders of magnitude
- max sat
- graph coloring
- constraint satisfaction problems
- boolean optimization
- search space
- constraint satisfaction
- search strategies
- clause learning
- pseudo boolean
- davis putnam
- automated reasoning
- propositional logic
- boolean formula
- global constraints
- combinatorial problems
- genetic algorithm
- industrial applications
- conjunctive normal form
- data structure
- cnf formula
- propositional formulas
- sat encodings
- genetic programming
- scheduling problem