/usr/share/mozart/doc/cpitut/bib.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>Bibliography</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="lp.html#chapter.lp"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="idx.html#label26">Next >></A></TD></TR></TABLE><H1><A name="label25">Bibliography</A></H1><DL>
<DT><A name=BeringerDeBacker:95a>[BdB95]</A>
<DD><P>H. Beringer and B. de Backer.
Combinatorial problem solving in constraint logic programming with cooperating
solvers.
In C. Beierle and L. Plümer, editors, <EM>Logic programming: Formal
methods and practical applications</EM>, pages 245-272. Elsevier, 1995.</P>
<DT><A name=Benhamou:95a>[Ben95]</A>
<DD><P>Frédéric Benhamou.
Interval constraint logic programming.
In Andreas Podelski, editor, <EM>Constraints: Basics and Trends</EM>, Lecture
Notes in Computer Science, vol. 910, pages 1-21. Springer Verlag, 1995.</P>
<DT><A name=Chvantal:83>[Chv83]</A>
<DD><P>Vav{s}ek Chvátal.
<EM>Linear Programming</EM>.
W.H. Freeman and Company, 41 Madison Avenue, New York 10010, 1983.</P>
<DT><A name=lp_solve>[Har]</A>
<DD><P>Hartmut Schwab.
<EM>Documentation for lp\_solve</EM>.</P>
<DT><A name=Holzbaur:90>[Hol90]</A>
<DD><P>Christian Holzbaur.
<EM>Specification of Constraint Based Inference Mechanisms through Extended
Unification</EM>.
PhD thesis, Technisch-Naturwissenschaftliche Fakultät der Technischen
Universität Wien, October 1990.</P>
<DT><A name=cplex>[ILO97]</A>
<DD><P>ILOG, Inc. CPLEX Devision.
<EM>Using the CPLEX Callable Library Version 5.0</EM>, 1997.</P>
<DT><A name=absmachine>[MM95]</A>
<DD><P>Christian Schulte Michael Mehl, Ralf Scheidhauer.
<EM>An abstract Machine for Oz</EM>.
Programming Systems Lab, Saarbrücken, March 1995.</P>
<DT><A name=Mueller:98a>[Mül98]</A>
<DD><P>Tobias Müller.
Solving set partitioning problems with constraint programming.
In <EM>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</EM>, pages 313-332,
London, UK, March 1998. The Practical Application Company Ltd.</P>
<DT><A name=murray>[Mur93]</A>
<DD><P>Robert B. Murray.
<EM>C++ Strategies and Tactics</EM>.
Programming Systems Lab, Saarbrücken, March 1993.</P>
<DT><A name=gdb>[RMS92]</A>
<DD><P>Roland H. Pesch Richard M. Stallman.
<EM>Debugging with GDB: The GNU Source-Level Debugger version 4.7</EM>.
Programming Systems Lab, Saarbrücken, October 1992.</P>
<DT><A name=stallman91>[Sta91]</A>
<DD><P>Richard M. Stallman.
<EM>GNU Emacs Manual</EM>, 7th edition, 1991.</P>
</DL>
<TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="lp.html#chapter.lp"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="idx.html#label26">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~tmueller/">Tobias Müller</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|