Vaezipoor P, Lederman G, Wu Y, Maddison C, Grosse RB, Seshia SA, Bacchus F. Learning Branching Heuristics for Propositional Model Counting. AAAI [Internet]. 2021May18 [cited 2024Nov.21];35(14):12427-35. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/17474