TY  - RPRT
TI  - Learning Branching Heuristics for Propositional Model Counting
AU  - Pashootan Vaezipoor
AU  - Gil Lederman
AU  - Yuhuai Wu
AU  - Chris J. Maddison
AU  - Roger Grosse
AU  - Sanjit A. Seshia
AU  - Fahiem Bacchus
PY  - 2022
DO  - 10.1609/aaai.v35i14.17474
UR  - https://arxiv.org/abs/2007.03204
ID  - 2007.03204
ER  -