@inproceedings{kurin:nips20,
  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",
  booktitle = "NeurIPS 2020: Proceedings of the Thirty-fourth Annual Conference on Neural Information Processing Systems",
  month = "December",
  url = "http://www.cs.ox.ac.uk/people/shimon.whiteson/pubs/kurinnips20.pdf",
}