A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained.
Norbert MantheyTobias PhilippPeter SteinkePublished in: KI (2014)
Keyphrases
- search space
- sat solvers
- pseudo boolean constraints
- propositional satisfiability
- pseudo boolean
- sat encodings
- generalized arc consistency
- global constraints
- constraint satisfaction problems
- arc consistency
- non binary
- cardinality constraints
- logic programming
- constraint satisfaction
- symmetry breaking
- state space
- constraint programming
- space complexity
- integer programming
- boolean functions
- relational databases