\begin{thebibliography}{10}

\bibitem{ac3complexityB}
C.~Bessi\`ere and J-C R\'egin.
\newblock Refining the basic constraint propagation algorithm.
\newblock In {\em {IJCAI}}, pages 309--315, 2001.

\bibitem{boundsz}
Christian Bessi\`ere.
\newblock Constraint propagation.
\newblock In {\em Handbook of constraint programming}. Elsevier, 2006.
\newblock Chapter 3.

\bibitem{edgeFinding}
J.~Carlier and E.~Pinson.
\newblock Adjustment of heads and tails for the jobshop scheduling problem.
\newblock {\em European Journal of Operational Research}, 78:146--161, 1994.

\bibitem{smallTSP}
Yves Caseau and Francois Laburthe.
\newblock {Solving small TSPs with constraints}.
\newblock In {\em Proceedings International Conference on Logic Programming},
  pages 1--15, 1997.

\bibitem{choco}
Choco.
\newblock {http://www.choco-constraints.net/} home of the choco constraint
  programming system, 2008.

\bibitem{AC3}
A.K. Mackworth.
\newblock Consistency in networks of relations.
\newblock {\em Artificial Intelligence}, 8:99--118, 1977.

\bibitem{allDiff}
J-C. R\'{e}gin.
\newblock {A filtering algorithm for constraints of difference in CSP's}.
\newblock In {\em Proceedings {AAAI'94}}, pages 362--367, 1994.

\bibitem{cpHandbook}
Francesca Rossi, Peter van Beek, and Toby Walsh.
\newblock {\em Handbook of Constraint Programming}.
\newblock Elsevier, 2007.

\bibitem{mac}
D.~Sabin and E.C. Freuder.
\newblock Contradicting conventional wisdom in constraint satisfaction.
\newblock In {\em Proceedings of ECAI-94}, pages 125--129, 1994.

\bibitem{cpTut}
Barbara~M. Smith.
\newblock {A Tutorial on Constraint Programming}.
\newblock {Technical Report 95.14, University of Leeds}, 1995.

\bibitem{tsang}
Edward Tsang.
\newblock {\em Foundations of Constraint Satisfaction}.
\newblock Academic Press, 1993.

\bibitem{ac5}
P.~van Hentenryck, Y.~Deville, and C-M. Teng.
\newblock A generic arc-consistency algorithm and its specializations.
\newblock {\em Artificial Intelligence}, 57:291--321, 1992.

\bibitem{ac3complexityA}
Zhang Yuanlin and Roland H.~C. Yap.
\newblock Makingg {AC}-3 an optimal algorithm.
\newblock In {\em {IJCAI}}, pages 316--321, 2001.

\end{thebibliography}