@String{SPRINGER = "Springer Verlag"}

@InProceedings{Mueller:98a,
  author =       {Tobias M{\"u}ller},
  title =        {Solving Set Partitioning Problems with Constraint Programming}, 
  booktitle =    {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},
  publisher =    {The Practical Application Company Ltd},
  address =      {London, UK},
  month =        mar,
  year =         {1998},
  pages =        {313--332},
}

@PhdThesis{Holzbaur:90,
  author = "Christian Holzbaur",
  title = " Specification of Constraint Based Inference Mechanisms
		  through Extended Unification",
  school = "Technisch-Naturwissenschaftliche Fakult{\"a}t der
		  Technischen Universit{\"a}t Wien",
  year = 1990,
  month = oct,
}   		  
		  
@InCollection{Benhamou:95a,
  editor	= {Andreas Podelski},
  booktitle = {Constraints: Basics and Trends},
  author	= "Fr{\'e}d{\'e}ric Benhamou",
  title	= {Interval Constraint Logic Programming},
  publisher = springer,
  pages	= {1--21},
  year	= 1995,
  series = {Lecture Notes in Computer Science, vol. 910}
}

@Book{Chvantal:83,
  author = {Va{\v{s}}ek Chv{\'a}tal},
  title = {Linear Programming},
  publisher = {W.H. Freeman and Company},
  address = {41 Madison Avenue, New York 10010},
  year = 1983,
}

@InCollection{BeringerDeBacker:95a,
  author    = {Beringer, H. and de Backer, B.},
  booktitle = {Logic programming: {F}ormal methods and practical applications},
  editor    = {Beierle, C. and Pl{\"u}mer, L.},
  pages     = {245-272},
  publisher = {Elsevier},
  title     = {Combinatorial Problem Solving in Constraint Logic
                  Programming with Cooperating Solvers},
  year      = {1995}
}

@InProceedings{LindnerRosa:80,
  author = {C.C. Lindner and A. Rosa},
  title = {Topics on Steiner Systems},
  booktitle = {Annals of Discrete Mathematics},
  publisher = {North Holland},
  year = 1980,
  volume = 7,
}

% ----------------------------------------------------------------------------


@TechReport{caseau.95,
  author = 	"Y. Caseau and F. Laburthe",
  title = 	"Disjunctive scheduling with task intervals",
  institution = 	"Laboratoire d'Informatique de l'Ecole Normale
		 Superieure",
  year = 	"1995",
  type = 	"LIENS Technical Report",
  number = 	"95-25",
  OPTnote = 	"xv"
}
@InProceedings{baptiste.95a,
  author = 	"P. Baptiste and C. Le Pape and W. Nuijten",
  title = 	"Incorporating efficient operations research
		 algorithms in constraint-based scheduling",
  booktitle = 	"First International Joint Workshop on Artificial
		 Intelligence and Operations Research",
  year = 	"1995",
  OPTnote = 	"xv"
}

@InProceedings{martin.96,
  author = 	 {P. Martin and D.B. Shmoys},
  title = 	 {A new approach to computing optimal schedules for
                  the job shop scheduling problem},
  booktitle = 	 {International Conference on Integer Programming and
                  Combinatorial Optimization, Vancouver},
  year = 	 {1996},
  pages =        {389--403},
  OPTnote = 	 {xv}
}
@InProceedings{wuertz.96b,
  author = 	 {J. W{\"u}rtz},
  title = 	 {Oz {S}cheduler:  {A} Workbench for Scheduling Problems},
  booktitle = 	 {Eighth  International Conference on Tools with
                  Artificial Intelligence},
  editor = 	 {M.G. Radle},
  address =      {Toulouse, France},
  year = 	 {1996},
  organization = {IEEE},
  publisher = {IEEE Computer Society Press},
  pages = 	 {149--156},
  OPTnote = 	 {xv}
}
@InCollection{wuertz.96c,
  author =       {J. W{\"u}rtz},
  title =        {Constraint-Based Scheduling in {Oz}},
  booktitle =    {Operations Research Proceedings 1996},
  editor =       {U. Zimmermann and U. Derigs and W. Gaul and 
                  R. M{\"o}hrig and K.-P. Schuster}, 
  year =         {1997},
  publisher =    {Springer-Verlag},
  address =      {Berlin, Heidelberg, New York},
  pages =        {218--223},
  note =         {Selected Papers of the Symposium on Operations Research (SOR 96),
                  Braunschweig, Germany, September 3--6, 1996},
  OPTnote =      {xv}
}
@InProceedings{MuellerMueller.WLP.97,
   Author =     {Tobias M{\"u}ller and Martin M{\"u}ller},
   Title =      {Finite Set Constraints in {Oz}},
   Editor =     {Fran\c{c}ois Bry and Burkhard Freitag and Dietmar Seipel},
   Booktitle =  {13. Workshop Logische Programmierung},
   Year =       1997,
   Month =      {17--19 } # sep,
   Address =    {Technische Universit{\"a}t M{\"u}nchen},
   Pages =      {104--115}
}
