A Parallel and Distributed Framework for Constraint Solving - Pedro, Vasco (2011)