This file is indexed.

/usr/share/mozart/doc/system/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
66
67
68
69
70
71
72
73
74
75
76
77
78
<!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="node96.html#chapter.objectsupport">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="idx.html#label1734">Next &gt;&gt;</A></TD></TR></TABLE><H1><A name="label1733">Bibliography</A></H1><DL>

<DT><A name=Baptiste.95A>[BPN95]</A>
<DD><P>P. Baptiste, C.&nbsp;Le Pape, and W. Nuijten.
Incorporating efficient operations research algorithms in constraint-based
  scheduling.
In <EM>First International Joint Workshop on Artificial Intelligence and
  Operations Research</EM>, 1995.</P>

<DT><A name=Caseau.95>[CL95]</A>
<DD><P>Y. Caseau and F. Laburthe.
Disjunctive scheduling with task intervals.
LIENS Technical Report 95-25, Laboratoire d'Informatique de l'Ecole Normale
  Superieure, 1995.</P>

<DT><A name=LEWINE:91>[Lew91]</A>
<DD><P>Donald Lewine.
<EM>POSIX Programmer's Guide</EM>.
O'Reilly \& Associates, Inc., April 1991.</P>

<DT><A name=Muellermueller.wlp.97>[MM97]</A>
<DD><P>Tobias Müller and Martin Müller.
Finite set constraints in Oz.
In Fran\ccois Bry, Burkhard Freitag, and Dietmar Seipel, editors, <EM>13.
  Workshop Logische Programmierung</EM>, pages 104-115, Technische
  Universität München, 17--19 September 1997.</P>

<DT><A name=Martin.96>[MS96]</A>
<DD><P>P. Martin and D.B. Shmoys.
A new approach to computing optimal schedules for the job shop scheduling
  problem.
In <EM>International Conference on Integer Programming and Combinatorial
  Optimization, Vancouver</EM>, pages 389-403, 1996.</P>

<DT><A name=Ousterhout.94>[Ous94]</A>
<DD><P>John&nbsp;K. Ousterhout.
<EM>Tcl and the Tk Toolkit</EM>.
Professional Computing Series. Addison-Wesley, Reading, MA, USA, 1994.</P>

<DT><A name=puget.98>[Pug98]</A>
<DD><P>Jean&nbsp;François Puget.
A fast algorithm for the bound consistency of alldiff constraints.
In <EM>Proceedings of the 15th National Conference on Artificial Intelligence
  (AAAI-98)</EM>, pages 359-366, Madison, WI, USA, July 1998. AAAI Press/The
  MIT Press.</P>

<DT><A name=regin.94>[Rég94]</A>
<DD><P>Jean&nbsp;Charles Régin.
A filtering algorithm for constraints of difference in CSPs.
In <EM>Proceedings of the Twelfth National Conference on Artificial
  Intelligence</EM>, pages 362-367, Seattle, WA, USA, 1994. AAAI Press.</P>

<DT><A name=Explorer.97>[Sch97]</A>
<DD><P>Christian Schulte.
Oz Explorer: A visual constraint programming tool.
In Lee Naish, editor, <EM>Proceedings of the Fourteenth International
  Conference on Logic Programming</EM>, pages 286-300, Leuven, Belgium, July
  1997. The MIT Press.</P>

<DT><A name=Wuertz.96b>[Wür96]</A>
<DD><P>J. Würtz.
Oz Scheduler: A workbench for scheduling problems.
In M.G. Radle, editor, <EM>Eighth International Conference on Tools with
  Artificial Intelligence</EM>, pages 149-156, Toulouse, France, 1996. IEEE,
  IEEE Computer Society Press.</P>

<DT><A name=Wuertz.96c>[Wür97]</A>
<DD><P>J. Würtz.
Constraint-based scheduling in Oz.
In U. Zimmermann, U. Derigs, W. Gaul, R. Möhrig, and K.&nbsp;P. Schuster,
  editors, <EM>Operations Research Proceedings 1996</EM>, pages 218-223.
  Springer-Verlag, Berlin, Heidelberg, New York, 1997.
Selected Papers of the Symposium on Operations Research (SOR 96), Braunschweig,
  Germany, September 3--6, 1996.</P>

</DL>
<TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node96.html#chapter.objectsupport">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="idx.html#label1734">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys&nbsp;Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif&nbsp;Kornstaedt</A>, <A href="http://www.ps.uni-sb.de/~homik/">Martin&nbsp;Homik</A>, <A href="http://www.ps.uni-sb.de/~tmueller/">Tobias&nbsp;Müller</A>, <A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A> and&nbsp;<A href="http://www.info.ucl.ac.be/~pvr">Peter&nbsp;Van Roy</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>