A

Althaus, Ernst and Bockmayr, Alexander and Elf, Matthias and Kasper, Thomas and Jünger, Michael and Mehlhorn, Kurt (2002) SCIL - Symbolic Constraints in Integer Linear Programming.
Published In: Algorithms - ESA 2002 : 10th annual European symposium, Rome, Italy, September 17 - 21, 2002 ; proceedings, Lecture notes in computer science. 2461 Springer 2002, pp. 75-87.

B

Bachem, Achim and Johnson, Ellis L. and Schrader, Rainer (1982) A characterization of minimal inequalities for mixed integer programs.
Published in: Operations Research Letters Vol. 1 (2). pp. 63-66.

Bachem, Achim and Schrader, Rainer (1980) Minimal inequalities and subadditive duality.
Published in: SIAM Journal on Control and Optimization Vol. 18 (4). pp. 437-443. ISSN 0363-0129

Bachem, Achim and Schrader, Rainer (1979) A duality theorem and minimal inequalities in mixed integer programming.
Published in: Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) Vol. 59. pp. 88-89.

C

Cacchiani, Valentina and Jünger, Michael and Liers, Frauke and Lodi, Andrea and Schmidt, Daniel R. (2014) Single-Commodity Robust Network Design with Finite and Hose Demand Sets.
Technical Report , 32 p.
Submitted

Cacchiani, Valentina and Jünger, Michael and Liers, Frauke and Lodi, Andrea and Schmidt, Daniel R. (2016) Single-commodity robust network design with finite and Hose demand sets.
Published in: Mathematical Programming Vol. 157 (1). pp. 297-342. ISSN 0025-5610

J

Jabrayilov, Adalat and Mallach, Sven and Mutzel, Petra and Rüegg, Ulf and von Hanxleden, Reinhard (2016) Compact Layered Drawings of General Directed Graphs.
To appear In: Proceedings of the 24th International Symposium on Graph Drawing & Network Visualization, Lecture Notes in Computer Science. 9801 Springer 2016.

Jünger, Michael and Reinelt, Gerhard and Thienel, Stefan (1995) Practical Problem Solving with cutting Plane Algorithms in Combinatorial Optimization.
Published in: Practical Problem Solving with cutting Plane Algorithms in Combinatorial Optimization., DIMACS Series in Discrete Mathematics and Theoretical Computer Sciences. American Mathematical Society 1995, pp. 111-152.

M

Mallach, Sven (2016) Compact Linearization for Binary Quadratic Problems subject to Assignment Constraints.
Technical Report , 9 p.

Mallach, Sven (2016) Improved Mixed-Integer Programming Models for Multiprocessor Scheduling with Communication Delays.
Technical Report , 30 p.

Mallach, Sven (2017) Linear Ordering Based MIP Formulations for the Vertex Separation or Pathwidth Problem.
To appear In: Proceedings 28th International Workshop On Combinatorial Algorithms (IWOCA), Lecture Notes in Computer Science. Springer 2017.

Mallach, Sven (2015) A practical mixed-integer programming model for the vertex separation number problem.
Working Paper , 8 p.

T

Thienel, Stefan (1996) ABACUS - A Branch-And-CUt System, Version 1.2, User's Guide and Reference Manual.
Technical Report p.

Thienel, Stefan (1997) ABACUS - A Branch-And-CUt System, Version 2.0, User's Guide and Reference Manual.
Manual , 350 p.

Thienel, Stefan (1996) A Simple TSP-Solver: An ABACUS Tutorial.
Technical Report , 34 p.

Thienel, Stefan and Jünger, Michael (1997) The Design of the Branch-and-Cut System ABACUS.
Technical Report , 30 p.