@misc{indiciae65461ae457ea,
  title = {Approximate Counting in SMT and Value Estimation for Probabilistic Programs},
  author = {Dmitry Chistikov and Rayna Dimitrova and Rupak Majumdar},
  year = {2015},
  url = {https://arxiv.org/abs/1411.0659},
  note = {Source identifier: 1411.0659}
}