Vaezipoor, P., G. Lederman, Y. Wu, C. Maddison, R. B. Grosse, S. A. Seshia, and F. Bacchus. “Learning Branching Heuristics for Propositional Model Counting”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 14, May 2021, pp. 12427-35, doi:10.1609/aaai.v35i14.17474.