@misc{indiciae9697f8b25049,
  title = {Can \$Q\$-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver?},
  author = {Vitaly Kurin and Saad Godil and Shimon Whiteson and Bryan Catanzaro},
  year = {2020},
  url = {https://arxiv.org/abs/1909.11830},
  note = {Source identifier: 1909.11830}
}