Learning Splitting Heuristics in Divide-and-Conquer SAT Solvers with Reinforcement Learning - Zhai, Shumao; Ge, Ning (International Conference on Learning Representations, 2025)