BDDs for Pseudo-Boolean Constraints - Revisited.

Ignasi Abío Robert Nieuwenhuis Albert Oliveras Enric Rodríguez-Carbonell

Published in: SAT (2011)

Keyphrases

pseudo boolean constraints
logic programming
pseudo boolean
logic programs
binary decision diagrams
knowledge base
np hard
knowledge representation
machine learning
lower bound
general purpose
np complete
propositional satisfiability
sat encodings