X. Yun and S. Epstein, “Adaptive Parallelization for Constraint Satisfaction Search”, SOCS, vol. 3, no. 1, pp. 145–152, Aug. 2021.