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:
J. Artif. Intell. Res. (2012)
Keyphrases
</>
pseudo boolean constraints
logic programming
logic programs
pseudo boolean
binary decision diagrams
integer linear programming
general purpose
optimization problems
orders of magnitude