@misc{indiciae30845ff60b26,
  title = {A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA)},
  author = {Cunjing Ge and Feifei Ma and Jian Zhang},
  year = {2015},
  url = {https://arxiv.org/abs/1507.00142},
  note = {Source identifier: 1507.00142}
}