Vaezipoor, P., Lederman, G., Wu, Y., Maddison, C., Grosse, R. B., Seshia, S. A. and Bacchus, F. (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.