Vaezipoor P, Lederman G, Wu Y, Maddison C, Grosse RB, Seshia SA, et al. Learning Branching Heuristics for Propositional Model Counting. AAAI [Internet]. 2021 May 18 [cited 2026 May 12];35(14):12427-35. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/17474