@inproceedings{ACL-AAAI20,
  title = "Learning to Reason: Leveraging Neural Networks for Approximate {DNF} Counting",
  author = "Ralph Abboud and {\.I}smail {\.I}lkan Ceylan and Thomas Lukasiewicz",
  year = "2020",
  annote = "https://github.com/ralphabb/NeuralDNF/",
  booktitle = "Proceedings of the 34th AAAI Conference on Artificial Intelligence‚ AAAI 2020‚ New York, New York, USA‚ February 7--12‚ 2020",
  editor = "Vincent Conitzer and Fei Sha",
  month = "February",
  publisher = "AAAI Press",
  url = "https://aaai.org/ojs/index.php/AAAI/article/view/5705",
}