@article{learningbranchingheuristicsfor,
  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 = {2020},
  eprint = {2007.03204},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2007.03204v2},
}