New Encodings of Pseudo-Boolean Constraints into CNF.
Olivier BailleuxYacine BoufkhadOlivier RousselPublished in: SAT (2009)
Keyphrases
- pseudo boolean constraints
- sat encodings
- sat solvers
- logic programming
- sat solving
- boolean functions
- pseudo boolean
- propositional satisfiability
- orders of magnitude
- propositional formulas
- knowledge representation
- np complete
- linear programming
- cnf formula
- optimization problems
- logic programs
- graph coloring
- sat problem
- search tree
- planning problems
- constraint satisfaction