Yun, X.; Epstein, S. Adaptive Parallelization for Constraint Satisfaction Search. SOCS 2012, 3, 145-152.