Compulog Workshop - New Trends in Constraints 1999: Paphos, Cyprus

@proceedings{DBLP:conf/compulog/1999,
  editor    = {Krzysztof R. Apt and
               Antonis C. Kakas and
               Eric Monfroy and
               Francesca Rossi},
  title     = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop,
               Paphos, Cyprus, October 25-27, 1999, Selected Papers},
  booktitle = {New Trends in Constraints},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1865},
  year      = {2000},
  isbn      = {3-540-67885-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Contributions and Surveys

• Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard:
  Interval Constraints: Results and Perspectives. 1-16
  Electronic Edition (Springer LINK) BibTeX
• Philippe Codognet:
  A Constraint-Based Language for Virtual Agents. 17-39
  Electronic Edition (Springer LINK) BibTeX
• Francesca Rossi:
  Constraint (Logic) Programming: A Survey on Research and Applications. 40-74
  Electronic Edition (Springer LINK) BibTeX
• Pascal Van Hentenryck, Laurent Michel:
  OPL Script: Composing and Controlling Models. 75-90
  Electronic Edition (Springer LINK) BibTeX

Constraint Propagation and Manipulation

• Krzysztof R. Apt:
  Some Remarks on Boolean Constraint Propagation. 91-107
  Electronic Edition (Springer LINK) BibTeX
• Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi:
  Abstracting Soft Constraints. 108-133
  Electronic Edition (Springer LINK) BibTeX
• Ian P. Gent, Kostas Stergiou, Toby Walsh:
  Decomposable Constraints. 134-149
  Electronic Edition (Springer LINK) BibTeX
• Christophe Ringeissen, Eric Monfroy:
  Generating Propagation Rules for Finite Domains: A Mixed Approach. 150-172
  Electronic Edition (Springer LINK) BibTeX
• Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings:
  Ways of Maintaining Arc Consistency in Search Using the Cartesian Representation. 173-187
  Electronic Edition (Springer LINK) BibTeX

Constraint Programming

• Reem Bahgat, Samir E. Abdel-Rahman:
  Combining Constraint Logic Programming Techniques for Solving Linear Problems. 188-211
  Electronic Edition (Springer LINK) BibTeX
• Alessandra Di Pierro, Herbert Wiklicky:
  Quantitative Observables and Averages in Probabilistic Constraint Programming. 212-236
  Electronic Edition (Springer LINK) BibTeX
• Roman Barták:
  Dynamic Constraint Models for Planning and Scheduling Problems. 237-255
  Electronic Edition (Springer LINK) BibTeX
• Henk Vandecasteele, Bart Demoen, Gerda Janssens:
  A Finite Domain CLP Solver on Top of Mercury. 256-273
  Electronic Edition (Springer LINK) BibTeX

Rule-Based Constraint Programming

• Hubert Dubois, Hélène Kirchner:
  Rule Based Programming with Constraints and Strategies. 274-297
  Electronic Edition (Springer LINK) BibTeX
• Thom W. Frühwirth:
  Proving Termination of Constraint Solver Programs. 298-317
  Electronic Edition (Springer LINK) BibTeX
• Armin Wolf:
  Projection in Adaptive Constraint Handling. 318-338
  Electronic Edition (Springer LINK) BibTeX