@inproceedings{cnnsatfastaccuratebooleansatisfiability,
  title = {CNNSAT: Fast, Accurate Boolean Satisfiability using Convolutional Neural Networks},
  author = {Yu Wang and Fengjuan Gao and Amin Alipour and Linzhang Wang and Xuandong Li and Zhendong Su},
  year = {2019},
  booktitle = {ICLR 2019 5},
  url = {https://openreview.net/forum?id=ryxhynC9KX},
}