\begin{thebibliography}{}

\bibitem[\protect\BCAY{Bacchus, Chen, van Beek,\ \BBA\ Walsh}{Bacchus
  et~al.}{2002}]{bcvbw02}
Bacchus, F., Chen, X., van Beek, P., \BBA\ Walsh, T. \BBOP2002\BBCP.
\newblock \BBOQ Binary vs. {N}on-binary {CSP}s\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 140}, 1--37.

\bibitem[\protect\BCAY{Bacchus\ \BBA\ van Beek}{Bacchus\ \BBA\ van
  Beek}{1998}]{bvb98}
Bacchus, F.\BBACOMMA\  \BBA\ van Beek, P. \BBOP1998\BBCP.
\newblock \BBOQ On the {C}onversion between {N}on-binary and {B}inary
  {C}onstraint {S}atisfaction {P}roblems\BBCQ\
\newblock In {\Bem Proceedings of AAAI'98}, \BPGS\ 310--318.

\bibitem[\protect\BCAY{Bater}{Bater}{2000}]{bater00}
Bater, J. \BBOP2000\BBCP.
\newblock {\Bem Non-binary ({H}igher-{O}rder) {M}odelling and {S}olution
  {T}echniques for {F}requency {A}ssignment in {M}obile {C}ommunications
  {N}etworks}.
\newblock Ph.D.\ thesis, University of London.

\bibitem[\protect\BCAY{Beacham, Chen, Sillito,\ \BBA\ van Beek}{Beacham
  et~al.}{2001}]{bcsvB01}
Beacham, A., Chen, X., Sillito, J., \BBA\ van Beek, P. \BBOP2001\BBCP.
\newblock \BBOQ Constraint programming lessons learned from crossword
  puzzles\BBCQ\
\newblock In {\Bem Proceedings of the 14th Canadian Conference in AI}.

\bibitem[\protect\BCAY{Bessi\`ere, Freuder,\ \BBA\ R\'egin}{Bessi\`ere
  et~al.}{1995}]{bfr95}
Bessi\`ere, C., Freuder, E., \BBA\ R\'egin, J. \BBOP1995\BBCP.
\newblock \BBOQ Using {I}nference to {R}educe {A}rc {C}onsistency
  {C}omputation\BBCQ\
\newblock In {\Bem Proceedings of IJCAI'95}, \BPGS\ 592--599.

\bibitem[\protect\BCAY{Bessi\`ere, Meseguer, Freuder,\ \BBA\
  Larrosa}{Bessi\`ere et~al.}{2002}]{bmfl99}
Bessi\`ere, C., Meseguer, P., Freuder, E., \BBA\ Larrosa, J. \BBOP2002\BBCP.
\newblock \BBOQ On {F}orward {C}hecking for {N}on-binary {C}onstraint
  {S}atisfaction\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 141}, 205--224.

\bibitem[\protect\BCAY{Bessi\`ere\ \BBA\ R\'egin}{Bessi\`ere\ \BBA\
  R\'egin}{1996a}]{br97}
Bessi\`ere, C.\BBACOMMA\  \BBA\ R\'egin, J. \BBOP1996a\BBCP.
\newblock \BBOQ Arc {C}onsistency for {G}eneral {C}onstraint {N}etworks:
  {P}reliminary {R}esults\BBCQ\
\newblock In {\Bem Proceedings of IJCAI'97}, \BPGS\ 398--404.

\bibitem[\protect\BCAY{Bessi\`ere\ \BBA\ R\'egin}{Bessi\`ere\ \BBA\
  R\'egin}{1996b}]{br96}
Bessi\`ere, C.\BBACOMMA\  \BBA\ R\'egin, J. \BBOP1996b\BBCP.
\newblock \BBOQ M{AC} and {C}ombined {H}euristics: {T}wo {R}easons to {F}orsake
  {FC} (and {CBJ}?) on {H}ard {P}roblems\BBCQ\
\newblock In {\Bem Proceedings of CP'96}, \BPGS\ 61--75.

\bibitem[\protect\BCAY{Bessi\`ere\ \BBA\ R\'egin}{Bessi\`ere\ \BBA\
  R\'egin}{2001}]{br01}
Bessi\`ere, C.\BBACOMMA\  \BBA\ R\'egin, J. \BBOP2001\BBCP.
\newblock \BBOQ Refining the {B}asic {C}onstraint {P}ropagation
  {A}lgorithm\BBCQ\
\newblock In {\Bem Proceedings of IJCAI'2001}, \BPGS\ 309--315.

\bibitem[\protect\BCAY{Cabon, De~Givry, Lobjois, Schiex,\ \BBA\ Warners}{Cabon
  et~al.}{1999}]{cabon99}
Cabon, B., De~Givry, S., Lobjois, L., Schiex, T., \BBA\ Warners, J.
  \BBOP1999\BBCP.
\newblock \BBOQ Radio {L}ink {F}requency {A}ssignment\BBCQ\
\newblock {\Bem Constraints}, {\Bem 4}, 79--89.

\bibitem[\protect\BCAY{CLib}{CLib}{2005}]{clib}
CLib \BBOP2005\BBCP.
\newblock Configuration {B}enchmarks {L}ibrary
  (http://www.itu.dk/doi/{V}e{C}o{S}/clib/), Maintained by {V}e{C}o{S} group,
  {IT}-{U}niversity of {C}openhagen.

\bibitem[\protect\BCAY{Debruyne\ \BBA\ Bessi\`{e}re}{Debruyne\ \BBA\
  Bessi\`{e}re}{2001}]{db97}
Debruyne, R.\BBACOMMA\  \BBA\ Bessi\`{e}re, C. \BBOP2001\BBCP.
\newblock \BBOQ Domain {F}iltering {C}onsistencies\BBCQ\
\newblock {\Bem Journal of Artificial Intelligence Research}, {\Bem 14},
  205--230.

\bibitem[\protect\BCAY{Dechter\ \BBA\ Pearl}{Dechter\ \BBA\ Pearl}{1989}]{dp89}
Dechter, R.\BBACOMMA\  \BBA\ Pearl, J. \BBOP1989\BBCP.
\newblock \BBOQ Tree {C}lustering for {C}onstraint {N}etworks\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 38}, 353--366.

\bibitem[\protect\BCAY{Ginsberg, Frank, Halpin,\ \BBA\ Torrance}{Ginsberg
  et~al.}{1990}]{Ginsberg90}
Ginsberg, M., Frank, M., Halpin, M., \BBA\ Torrance, M. \BBOP1990\BBCP.
\newblock \BBOQ Search {L}essons {L}earned from {C}rossword {P}uzzles\BBCQ\
\newblock In {\Bem Proceedings of AAAI-90}, \BPGS\ 210--215.

\bibitem[\protect\BCAY{Haralick\ \BBA\ Elliot}{Haralick\ \BBA\
  Elliot}{1980}]{he80}
Haralick, R.\BBACOMMA\  \BBA\ Elliot, G. \BBOP1980\BBCP.
\newblock \BBOQ Increasing {T}ree {S}earch {E}fficiency for {C}onstraint
  {S}atisfaction {P}roblems\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 14}, 263--313.

\bibitem[\protect\BCAY{Hodge, Hurley,\ \BBA\ Smith}{Hodge
  et~al.}{2002}]{hodge02}
Hodge, L., Hurley, S., \BBA\ Smith, D. \BBOP2002\BBCP.
\newblock \BBOQ Higher-{O}rder {C}onstraint {T}echniques for the {F}requency
  {A}ssignment {P}roblem\BBCQ\
\newblock \BTR, University of Cardiff.

\bibitem[\protect\BCAY{Jeavons, Dunkin,\ \BBA\ Bater}{Jeavons
  et~al.}{1998}]{jeavons98}
Jeavons, P., Dunkin, N., \BBA\ Bater, J. \BBOP1998\BBCP.
\newblock \BBOQ Why {H}igher {O}rder {C}onstraints are {N}ecessary to {M}odel
  {F}requency {A}ssignment {P}roblems\BBCQ\
\newblock In {\Bem ECAI'98 Workshop on Non-binary constraints}.

\bibitem[\protect\BCAY{Mackworth}{Mackworth}{1977}]{mac77}
Mackworth, A. \BBOP1977\BBCP.
\newblock \BBOQ Consistency in {N}etworks of {R}elations\BBCQ\
\newblock {\Bem Artificial Intelligence}, 99--118.

\bibitem[\protect\BCAY{Mamoulis\ \BBA\ Stergiou}{Mamoulis\ \BBA\
  Stergiou}{2001}]{ms01}
Mamoulis, N.\BBACOMMA\  \BBA\ Stergiou, K. \BBOP2001\BBCP.
\newblock \BBOQ Solving {N}on-{B}inary {CSP}s using the {H}idden {V}ariable
  {E}ncoding\BBCQ\
\newblock In {\Bem Proceedings of CP-2001}, \BPGS\ 168--182.

\bibitem[\protect\BCAY{Mohr\ \BBA\ Henderson}{Mohr\ \BBA\
  Henderson}{1986}]{mh86}
Mohr, R.\BBACOMMA\  \BBA\ Henderson, T. \BBOP1986\BBCP.
\newblock \BBOQ Arc and {P}ath {C}onsistency {R}evisited\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 28}, 225--233.

\bibitem[\protect\BCAY{Mohr\ \BBA\ Masini}{Mohr\ \BBA\ Masini}{1988}]{mm88}
Mohr, R.\BBACOMMA\  \BBA\ Masini, G. \BBOP1988\BBCP.
\newblock \BBOQ Good {O}ld {D}iscrete {R}elaxation\BBCQ\
\newblock In {\Bem Proceedings of ECAI-88}, \BPGS\ 651--656.

\bibitem[\protect\BCAY{Peirce}{Peirce}{1933}]{peirce}
Peirce, C. \BBOP1933\BBCP\
\newblock {\Bem Collected Papers Vol. III}.
\newblock Cited in F.~Rossi, C.~Petrie, and V.~Dhar 1989.

\bibitem[\protect\BCAY{Prosser, Stergiou,\ \BBA\ Walsh}{Prosser
  et~al.}{2000}]{prosser00}
Prosser, P., Stergiou, K., \BBA\ Walsh, T. \BBOP2000\BBCP.
\newblock \BBOQ Singleton {C}onsistencies\BBCQ\
\newblock In {\Bem Proceedings of CP-2000}, \BPGS\ 353--368.

\bibitem[\protect\BCAY{R\'{e}gin}{R\'{e}gin}{1994}]{Regin94}
R\'{e}gin, J. \BBOP1994\BBCP.
\newblock \BBOQ A {F}iltering {A}lgorithm for {C}onstraints of {D}ifference in
  {CSP}s\BBCQ\
\newblock In {\Bem Proceedings of AAAI-94}, \BPGS\ 362--367.

\bibitem[\protect\BCAY{Rossi, Petrie,\ \BBA\ Dhar}{Rossi et~al.}{1990}]{rpd90}
Rossi, F., Petrie, C., \BBA\ Dhar, V. \BBOP1990\BBCP.
\newblock \BBOQ On the {E}quivalence of {C}onstraint {S}atisfaction
  {P}roblems\BBCQ\
\newblock In {\Bem Proceedings of ECAI-90}, \BPGS\ 550--556.

\bibitem[\protect\BCAY{Smith}{Smith}{2002}]{smith02}
Smith, B. \BBOP2002\BBCP.
\newblock \BBOQ A {D}ual {G}raph {T}ranslation of a {P}roblem in `{L}ife'\BBCQ\
\newblock In {\Bem Proceedings of CP-02}, \BPGS\ 402--414.

\bibitem[\protect\BCAY{Smith, Stergiou,\ \BBA\ Walsh}{Smith
  et~al.}{2000}]{ssw00}
Smith, B., Stergiou, K., \BBA\ Walsh, T. \BBOP2000\BBCP.
\newblock \BBOQ Using {A}uxiliary {V}ariables and {I}mplied {C}onstraints to
  {M}odel {N}on-binary {P}roblems\BBCQ\
\newblock In {\Bem Proceedings of AAAI'2000}, \BPGS\ 182--187.

\bibitem[\protect\BCAY{Stergiou\ \BBA\ Walsh}{Stergiou\ \BBA\
  Walsh}{1999}]{sw99}
Stergiou, K.\BBACOMMA\  \BBA\ Walsh, T. \BBOP1999\BBCP.
\newblock \BBOQ Encodings of {N}on-{B}inary {C}onstraint {S}atisfaction
  {P}roblems\BBCQ\
\newblock In {\Bem Proceedings of AAAI'99}, \BPGS\ 163--168.

\bibitem[\protect\BCAY{Subbarayan, Jensen, Hadzic, Andersen, Hulgaard,\ \BBA\
  Moller}{Subbarayan et~al.}{2004}]{subbarayan04}
Subbarayan, S., Jensen, R., Hadzic, T., Andersen, H., Hulgaard, H., \BBA\
  Moller, J. \BBOP2004\BBCP.
\newblock \BBOQ Comparing two {I}mplementations of a {C}omplete and
  {B}acktrack-{F}ree {I}nteractive {C}onfigurator\BBCQ\
\newblock In {\Bem Proceedings of the CP-04 Workshop on CSP Techniques with
  Immediate Application}, \BPGS\ 97--111.

\bibitem[\protect\BCAY{Van~Hentenryck}{Van~Hentenryck}{1989}]{VanHentenryck89}
Van~Hentenryck, P.\BED. \BBOP1989\BBCP.
\newblock {\Bem {Constraint {S}atisfaction in {L}ogic {P}rogramming}}.
\newblock MIT Press.

\bibitem[\protect\BCAY{Van~Hentenryck, Deville,\ \BBA\ Teng}{Van~Hentenryck
  et~al.}{1992}]{vhdt92}
Van~Hentenryck, P., Deville, Y., \BBA\ Teng, C. \BBOP1992\BBCP.
\newblock \BBOQ A {G}eneric {A}rc {C}onsistency {A}lgorithm and its
  {S}pecializations\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 57}, 291--321.

\bibitem[\protect\BCAY{Watkins, Hurley,\ \BBA\ Smith}{Watkins
  et~al.}{1998}]{watkins98}
Watkins, W., Hurley, S., \BBA\ Smith, D. \BBOP1998\BBCP.
\newblock \BBOQ Area {C}overage {F}requency {A}ssignment: {E}valuation of
  {M}odels for {A}rea {C}overage\BBCQ\
\newblock \BTR, University of Glamorgan.
\newblock Also presented in {\em INFORMS-98}.

\bibitem[\protect\BCAY{Zhang\ \BBA\ Yap}{Zhang\ \BBA\ Yap}{2001}]{yap01}
Zhang, Y.\BBACOMMA\  \BBA\ Yap, R. \BBOP2001\BBCP.
\newblock \BBOQ Making {AC}-3 an {O}ptimal {A}lgorithm\BBCQ\
\newblock In {\Bem Proceedings of IJCAI'2001}, \BPGS\ 316--321.

\end{thebibliography}
