Vaezipoor, P. (2021) “Learning Branching Heuristics for Propositional Model Counting”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(14), pp. 12427–12435. doi: 10.1609/aaai.v35i14.17474.