R. Abboud, I. Ceylan, and T. Lukasiewicz, “Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting”, AAAI, vol. 34, no. 04, pp. 3097-3104, Apr. 2020.