Markus Behle

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Markus Behle
On threshold BDDs and the optimal variable ordering problem. J. Comb. Optim. 16 (2) (2008)
Markus Behle
On Threshold BDDs and the Optimal Variable Ordering Problem. COCOA (2007)
Markus Behle, Friedrich Eisenbrand
0/1 Vertex and Facet Enumeration with BDDs. ALENEX (2007)
Markus Behle, Michael Jünger, Frauke Liers
A Primal Branch-and-Cut Algorithm for the Degree-Constrained Minimum Spanning Tree Problem. WEA (2007)
Bernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer
BDDs in a Branch and Cut Framework. WEA (2005)
Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. MBMV (2004)