TY  - RPRT
TI  - Can $Q$-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver?
AU  - Vitaly Kurin
AU  - Saad Godil
AU  - Shimon Whiteson
AU  - Bryan Catanzaro
PY  - 2020
UR  - https://arxiv.org/abs/1909.11830
ID  - 1909.11830
ER  -