Markus Behle

According to our database, Markus Behle authored at least 6 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2007

Binary decision diagrams and integer programming.

Markus Behle

PhD thesis, 2007

A Primal Branch-and-Cut Algorithm for the Degree-Constrained Minimum Spanning Tree Problem.

Markus Behle, Michael Jünger, Frauke Liers

Proceedings of the Experimental Algorithms, 6th International Workshop, 2007

On Threshold BDDs and the Optimal Variable Ordering Problem.

Markus Behle

Proceedings of the Combinatorial Optimization and Applications, 2007

0/1 Vertex and Facet Enumeration with BDDs.

Markus Behle, Friedrich Eisenbrand

Proceedings of the Nine Workshop on Algorithm Engineering and Experiments, 2007

2005

BDDs in a Branch and Cut Framework.

Bernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer

Proceedings of the Experimental and Efficient Algorithms, 4th InternationalWorkshop, 2005

2004

Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.

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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004