@phdthesis{Hofstedt2011, author = {Petra Hofstedt}, title = {Cooperation and Coordination of Constraint Solvers}, type = {doctoralthesis}, year = {2011}, }