Login / Signup
Translating Pseudo-Boolean Constraints into CNF
Amir Aavani
Published in:
CoRR (2011)
Keyphrases
</>
pseudo boolean constraints
logic programming
sat encodings
boolean functions
pseudo boolean
propositional satisfiability
sat solvers
logic programs
propositional formulas
artificial intelligence
expert systems
upper bound
np complete
propositional logic
knowledge compilation