Page 159 - 4495

ended finite do- main constraint solver. In Programming Languages: Im-
plementations, Logics, and Programming. Springer-Verlag LNCS 1292,
1997.
41. Intelligent Systems Laboratory, Swedish Institute of Computer

Science. SICS- tus Prolog User’s Manual, 2000.
42. Mark Wallace, Stefano Novello, and Joachim Schimpf.
ECLZPSe : A platform for constraint logic programming. Technical re-

port, IC-Parc, Imperial College,1997.
43. Abderrahmane Aggoun and Nicolas Beldiceanu. Overview of
the CHIP com- piler system. In Koichi Furukawa, editor, Logic Program-
ming, Proceedings of the Eighth International Conference, pages 775–789.

MIT Press, 1991.
44. Claude Le Pape. Implementation of resource constraints in
ILOG SCHEDULE: a library for the development of constraint-based

scheduling systems. Intelli- gent Systems Engineering, 3(2):55–66, 1994.
45. Jean-François Puget. A C++ implementation of CLP. Techni-
cal report, ILOG S.A., 1994.
46. Jean-Charles Régin. A filtering algorithm for constraints of dif-

ference in CSPs.
47. Jean-François Puget. A fast algorithm for the bound consistency

of alldiff con- straints. In Proceedings of the 15th National Conference on
Artificial Intelligence (AAAI-98) and of the 10th Conference on Innova-
tive Applications of Artificial Intelli- gence (IAAI-98), pages 359–366,
Menlo Park, 1998. AAAI Press.

48. Yves Caseau and François Laburthe. Improved CLP scheduling
with task inter- vals. In Pascal Van Hentenryck, editor, Proceedings of the
Eleventh International Conference Logic Programming, pages 369–383.

MIT Press, 1994.
49. Philippe Baptiste and Claude Le Pape. A theoretical and ex-
perimental com- parison of constraint propagation techniques for disjunc-
tive scheduling. In Chris S. Mellish, editor, Proceedings of the Fourteenth

International Joint Conference on Artificial Intelligence, pages 600–606,
San Mateo, 1995. Morgan Kaufmann.
50. Philippe Baptiste. A Theoretical and Experimental Study of

Resource Constraint Propagation. PhD thesis, University of Compiègne,
1998.
51. Wilhelmus P. M. Nuijten. Time and resource constrained

scheduling: a constraint satisfaction approach. PhD thesis, Eindhoven Uni-
versity of Technology, 1994.

159