@article{pdpageneralneuralframeworkforlearning1,
  title = {PDP: A General Neural Framework for Learning SAT Solvers},
  author = {Saeed Amizadeh and Sergiy Matusevych and Markus Weimer},
  year = {2019},
  url = {https://openreview.net/forum?id=S1xaf6VFPB},
}