Rodríguez-Carbonell, Enric

1 publications

JAIR 2012 A New Look at BDDs for Pseudo-Boolean Constraints Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger