Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. - Bernd Becker 001; Markus Behle; Friedrich Eisenbrand; Martin Fränzle; Marc Herbstritt; Christian Herde; Jörg Hoffmann 001; Daniel Kröning; Bernhard Nebel; Ilia Polian; Ralf Wimmer 001 (MBMV, 2004)

BDDs in a Branch and Cut Framework. - Bernd Becker 001; Markus Behle; Friedrich Eisenbrand; Ralf Wimmer 001 (WEA, 2005)

0/1 Vertex and Facet Enumeration with BDDs. - Markus Behle; Friedrich Eisenbrand (ALENEX, 2007)

A Primal Branch-and-Cut Algorithm for the Degree-Constrained Minimum Spanning Tree Problem. - Markus Behle; Michael Jünger; Frauke Liers (WEA, 2007)

Binary decision diagrams and integer programming. - Markus Behle (2007)

On threshold BDDs and the optimal variable ordering problem. - Markus Behle (J. Comb. Optim., 2008)