Can Q-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT solver?

NeurIPS 2020