P. Vaezipoor, “Learning Branching Heuristics for Propositional Model Counting”, AAAI, vol. 35, no. 14, pp. 12427-12435, May 2021.