Page 158 - 4495

ence Institut Series, pages 153–171. Springer-Verlag, 1992.
26. Kim Marriott, Sitt Sen Chok, and Alan Finlay. A tableau
based constraint solving toolkit for interactive graphical applications. In
Michael Maher and Jean-François Puget, editors, Principles and Practice

of Constraint Programming — CP98, pages 340–354. Springer-Verlag
LNCS 1520, 1998.
27. Thom Früwirth and Pascal Brisset. Optimal placement of base

stations in wire- less indoor telecommunication. In Michael Maher and
Jean-François Puget, ed- itors, Principles and Practice of Constraint Pro-
gramming — CP98, pages 476–480. Springer-Verlag LNCS 1520, 1998.
28. Ludwig Krippahl and Pedro Barahona. Applying constraint pro-

gramming to protein structure determination. In Joxan Jaffar, editor, Prin-
ciples and Practice of Constraint Programming — CP’99, pages 289–302.
Springer-Verlag LNCS 1713, 1999.

29. Kim Marriott and Peter J. Stuckey. Programming with Con-
straints: An Introduc- tion. MIT Press, 1998.
30. Pascal Van Hentenryck. Constraint Satisfaction in Logic Pro-

gramming. MIT Press,
31. Zsófia Ruttkay. Constraint satisfaction — a survey. CWI
Quaterly, 11(2&3):123–161, 1998.
32. Smith Barbara M.˙ A tutorial on constraint programming.

Technical Report 95.14, University of Leeds, School of Computer Studies,
1995.
33. Vipin Kumar. Algorithms for constraint satisfaction problems:

A survey. AI Magazine, 13(1):32–44, 1992.
34. Roman Barták. Constraint programming: In pursuit of the holy
grail. In Pro- ceedings of Workshop of Doctoral Students’99, 1999.

35. Jean-François Puget. Constraint programming: A great AI suc-
cess. In Henri Prade, editor, 13th European Conference on Artificial In-
telligence Proceedings, pages 698–705. John Wiley & Sons, Ltd., 1998.
36. Roman Barták. On-line guide to constraint programming. In

http://kti. mff.cuni.cz/˜abartak/constraints, 1998.
37. Joxan Jaffar and Michael J. Maher. Constraint logic program-
ming: A survey. Journal of Logic Programming, 19:503–581, 1994.

38. Thom Frühwirth et al. Constraint logic programming – an in-
formal introduc- tion. Technical Report ECRC-93-5, ECRC, 1993.
39. Ludeˇ k Matyska. Constraint logic programming, an overview.

In SOFSEM’93, pages 133–164, 1993.
40. Mats Carlsson, Greger Ottosson, and Björn Carlson. An open-

158