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

Open in new window