Abboud, Ralph, Ismail Ceylan, and Thomas Lukasiewicz. 2020. “Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting”. Proceedings of the AAAI Conference on Artificial Intelligence 34 (04):3097-3104. https://doi.org/10.1609/aaai.v34i04.5705.