Vaezipoor, Pashootan, et al. “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.