Abboud, Ralph, et al. “Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 04, Apr. 2020, pp. 3097-04, doi:10.1609/aaai.v34i04.5705.