Learning Splitting Heuristics in Divide-and-Conquer SAT Solvers with Reinforcement Learning.

Shumao Zhai, Ning Ge

Browse the full ICLR paper archive.