 1
 Finite Domain Constraint Programming in Oz. A Tutorial. by
Christian Schulte and Gert Smolka
 2
 Problem Solving with Finite Set Constraints in Oz. A Tutorial. by
Tobias Müller
 3
 Principles of Constraint Programming. by
Krysztof R. Apt., Cambridge University Press, 2003.
 4
 Short Tour to Alice by
Andreas Rossberg, http://www.ps.unisaarland.de/alice/manual/tour.html
 5
 Modelling for Constraint Programming by
Barbara M. Smith, in First International Summer School
on Constraint Programming, September 2005
 6
 Dual Viewpoint Heuristics for Binary
Constraint Satisfaction Problems by
P. A. Geelen, in B. Neumann
(Ed.), Proceedings ECAI92, 1992, pp. 3135.
 7
 Model Induction: a New Source
of CSP Model Redundancy by
Y. Law, J. Lee, in: Proceedings of the
18th National Conference on Artificial Intelligence
(AAAI2002), 2002, pp. 5460.
 8
 Sudoku as a Constraint Problem by
Helmut Simonis, in Modelling and Reformulating
Constraint Satisfaction Problems, Fourth International Workshop,
Sitges (Barcelona), Spain, 1 October 2005
 9
 Increasing constraint propagation by redundant
modeling: an experience report by
B. M.W. Cheng, K. M. F. Choi, J. H. M. Lee, J. C. K. Wu,in
Constraints 4 (1999)167192.
 10
 Don't be puzzled! by
Martin Henz, In Proceedings of the Workshop on Constraint
Programming
Applications, in conjunction with the Second International
Conference on Principles
and Practice of Constraint Programming (CP96), Cambridge,
Massachusetts, USA, August 1996.
 11
 Topics on steiner systems by
by C.C. Lindner and A. Rosa,Annals of Discrete Mathematics,
volume 7. North Holland, 1980.
 12

Gecode
constraint library
Andreas Rossberg
20060828