# Bibliography

[BdB95]

  H. Beringer and B. de Backer. Combinatorial problem solving in constraint logic programming with cooperating solvers. In C. Beierle and L. Plümer, editors, Logic programming: Formal methods and practical applications, pages 245-272. Elsevier, 1995.

[Ben95]

  Frédéric Benhamou. Interval constraint logic programming. In Andreas Podelski, editor, Constraints: Basics and Trends, Lecture Notes in Computer Science, vol. 910, pages 1-21. Springer Verlag, 1995.

[Chv83]

  Vav{s}ek Chvátal. Linear Programming. W.H. Freeman and Company, 41 Madison Avenue, New York 10010, 1983.

[Har]

  Hartmut Schwab. Documentation for lp\_solve.

[Hol90]

  Christian Holzbaur. Specification of Constraint Based Inference Mechanisms through Extended Unification. PhD thesis, Technisch-Naturwissenschaftliche Fakultät der Technischen Universität Wien, October 1990.

[ILO97]

  ILOG, Inc. CPLEX Devision. Using the CPLEX Callable Library Version 5.0, 1997.

[MM95]

  Christian Schulte Michael Mehl, Ralf Scheidhauer. An abstract Machine for Oz. Programming Systems Lab, Saarbrücken, March 1995.

[Mül98]

  Tobias Müller. Solving set partitioning problems with constraint programming. In Proceedings of the Sixth International Conference on the Practical Application of Prolog and the Forth International Conference on the Practical Application of Constraint Technology -- PAPPACT98, pages 313-332, London, UK, March 1998. The Practical Application Company Ltd.

[Mur93]

  Robert B. Murray. C++ Strategies and Tactics. Programming Systems Lab, Saarbrücken, March 1993.

[RMS92]

  Roland H. Pesch Richard M. Stallman. Debugging with GDB: The GNU Source-Level Debugger version 4.7. Programming Systems Lab, Saarbrücken, October 1992.

[Sta91]

  Richard M. Stallman. GNU Emacs Manual, 7th edition, 1991.