ShatterPB: symmetry-breaking for pseudo-Boolean formulas.
Fadi A. AloulArathi RamaniIgor L. MarkovKarem A. SakallahPublished in: ASP-DAC (2004)
Keyphrases
- symmetry breaking
- boolean formula
- sat solvers
- boolean satisfiability
- constraint programming
- search tree
- sat problem
- np complete
- constraint satisfaction problems
- propositional satisfiability
- practical problems
- orders of magnitude
- constraint satisfaction
- max sat
- global constraints
- search space
- search strategies
- integer linear programming
- symmetry breaking constraints
- graph coloring
- sat instances
- equivalence queries
- membership queries
- linear constraints
- branch and bound algorithm
- combinatorial optimization