Chistikov, D., Dimitrova, R., & Majumdar, R. (2017). Approximate Counting in SMT and Value Estimation for Probabilistic Programs. Acta Informatica, 54(8), 729-764. doi:10.1007/s00236-017-0297-2.