Mayer-Eichberger, Valentin

3 publications

IJCAI 2016 Modelling Satisfiability Problems: Theory and Practice Valentin Mayer-Eichberger

AAAI 2015 Just-in-Time Hierarchical Constraint Decomposition Valentin Mayer-Eichberger

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