1. C. Barnhart, E.L. Johnson, G.L. Nemhauser, M.W.P. Savelsbergh, P.H. Vance, Branch-and-price: column generation for huge integer programs, Oper. Res. (1998), to appear.
2. T. Christof, Low-dimensional0/1-polytopes and branch-and-cut in combinatorial optimization, Ph.D. Thesis, Universität Heidelberg, 1997.
3. T. Christof, M. Jünger, J. Kececioglu, P. Mutzel, G. Reinelt, A branch-and-cut approach to physical mapping with end-probes, in First Annual International Conference Molecular Biology, ACM, New York, 1997.
4. CPLEX Optimization, Inc. (1995) Using the CPLEXTM Callable Library.
5. J. Esparza, S. Melzer, Verification of safety properties using integer programming: beyond the state equation, Technical Report, Technische Universität München, 1997.