Vaezipoor, Pashootan, Gil Lederman, Yuhuai Wu, Chris Maddison, Roger B Grosse, Sanjit A. Seshia, and Fahiem Bacchus. 2021. “Learning Branching Heuristics for Propositional Model Counting”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (14):12427-35. https://doi.org/10.1609/aaai.v35i14.17474.