Login / Signup

A New Look at BDDs for Pseudo-Boolean Constraints.

Ignasi AbíoRobert NieuwenhuisAlbert OliverasEnric Rodríguez-CarbonellValentin 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