Y. Hamadi and C. Wintersteiger, “Seven Challenges in Parallel SAT Solving”, AAAI, vol. 26, no. 1, pp. 2120–2125, Sep. 2021.