Vaezipoor, P.; Lederman, G.; Wu, Y.; Maddison, C.; Grosse, R. B.; Seshia, S. A.; Bacchus, F. Learning Branching Heuristics for Propositional Model Counting. AAAI 2021, 35, 12427-12435.