Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting
Ralph Abboud‚ İsmail İlkan Ceylan and Thomas Lukasiewicz
In V. Conitzer and F. Sha, editors, Proceedings of the 34th AAAI Conference on Artificial Intelligence‚ AAAI 2020‚ New York‚ New York‚ USA‚ February 7–12‚ 2020. AAAI Press. 2020.