@misc{indiciae72aedd0b4521,
  title = {Learning Branching Heuristics for Propositional Model Counting},
  author = {Pashootan Vaezipoor and Gil Lederman and Yuhuai Wu and Chris J. Maddison and Roger Grosse and Sanjit A. Seshia and Fahiem Bacchus},
  year = {2022},
  doi = {10.1609/aaai.v35i14.17474},
  url = {https://arxiv.org/abs/2007.03204},
  note = {Source identifier: 2007.03204}
}