Yun, X. and Epstein, S. 2012. Adaptive Parallelization for Constraint Satisfaction Search. Proceedings of the International Symposium on Combinatorial Search. 3, 1 (Jul. 2012), 145–152. DOI:https://doi.org/10.1609/socs.v3i1.18233.