A Parallel and Distributed Framework for Constraint Solving - Pedro, Vasco; Machado, Rui; Abreu, Salvador (2011)