Abboud, R.; Ceylan, I.; Lukasiewicz, T. Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting. AAAI 2020, 34, 3097-3104.