@PhDThesis{Tack:PhD:2009,
   Author =    "Guido Tack",
   Title =     "Constraint Propagation - Models, Techniques, Implementation",
   Type =      "phdthesis",
   School =    "Saarland University, Germany",
   Year =      2009,
   URL =       "http://www.gecode.org/paper.html?id=Tack:PhD:2009"
}