Vaezipoor, P., Lederman, G., Wu, Y., Maddison, C., Grosse, R. B., Seshia, S. A., & Bacchus, F. (2021). Learning Branching Heuristics for Propositional Model Counting. Proceedings of the AAAI Conference on Artificial Intelligence, 35(14), 12427-12435. https://doi.org/10.1609/aaai.v35i14.17474