@inproceedings{chakraborty2019symbolic,
  title={On Symbolic Approaches for Computing the Matrix Permanent},
  author={Chakraborty, Supratik and Shrotri, Aditya A and Vardi, Moshe Y},
  booktitle={International Conference on Principles and Practice of Constraint Programming},
  pages={71--90},
  year={2019},
  organization={Springer}
}