Hamadi, Y.; Wintersteiger, C. Seven Challenges in Parallel SAT Solving. AAAI 2021, 26, 2120-2125.