Bibliography

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.uni-saarland.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 (AAAI-2002), 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