\relax 
\citation{cpHandbook}
\citation{AC3}
\citation{boundsz}
\citation{AC3}
\citation{ac3complexityA,ac3complexityB}
\citation{cpTut}
\citation{mac}
\citation{choco}
\citation{ac5}
\citation{smallTSP}
\citation{allDiff}
\citation{edgeFinding}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A binary constraint satisfaction problem.}}{2}}
\newlabel{arcs}{{1}{2}}
\bibstyle{plain}
\bibdata{bib}
\bibcite{ac3complexityB}{1}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces A JChoco constraint program for the CSP of Figure 1\hbox {}.}}{3}}
\newlabel{cpprog}{{2}{3}}
\bibcite{boundsz}{2}
\bibcite{edgeFinding}{3}
\bibcite{smallTSP}{4}
\bibcite{choco}{5}
\bibcite{AC3}{6}
\bibcite{allDiff}{7}
\bibcite{cpHandbook}{8}
\bibcite{mac}{9}
\bibcite{cpTut}{10}
\bibcite{tsang}{11}
\bibcite{ac5}{12}
\bibcite{ac3complexityA}{13}