Translating Pseudo-Boolean Constraints into CNF.

Published in: SAT (2011)

Keyphrases

pseudo boolean constraints
logic programming
pseudo boolean
propositional satisfiability
sat encodings
boolean functions
sat solvers
knowledge compilation
logic programs
expert systems
propositional formulas
machine learning
computational complexity
propositional logic
sat problem
binary decision diagrams