On Symbolic Approaches for Computing the Matrix Permanent. - Chakraborty, Supratik; Shrotri, Aditya A.; Vardi, Moshe Y. (2019)