TY  - RPRT
TI  - Approximate Counting in SMT and Value Estimation for Probabilistic Programs
AU  - Dmitry Chistikov
AU  - Rayna Dimitrova
AU  - Rupak Majumdar
PY  - 2015
UR  - https://arxiv.org/abs/1411.0659
ID  - 1411.0659
ER  -