Login / Signup
A New Look at BDDs for Pseudo-Boolean Constraints.
Ignasi Abío
Robert Nieuwenhuis
Albert Oliveras
Enric Rodríguez-Carbonell
Valentin Mayer-Eichberger
Published in:
CoRR (2014)
Keyphrases
</>
pseudo boolean constraints
logic programming
pseudo boolean
logic programs
binary decision diagrams
machine learning
integer linear programming
sat encodings
data structure
general purpose
orders of magnitude
exact solution