Lucas Bordeaux Youssef Hamadi Horst Samulowitz Experiments with Massively Parallel Constraint Solving. 443-448 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-081.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#BordeauxHS09