@article{improvingsatsolverheuristicswithgraph1,
  title = {Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning},
  author = {Vitaly Kurin and Saad Godil and Shimon Whiteson and Bryan Catanzaro},
  year = {2019},
  url = {https://openreview.net/forum?id=B1lCn64tvS},
}