Experiments with Massively Parallel Constraint Solving. - Bordeaux, Lucas; Hamadi, Youssef; Samulowitz, Horst (2009)