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