@misc{indiciae519b3326af70,
  title = {On using floating-point computations to help an exact linear arithmetic decision procedure},
  author = {David Monniaux},
  year = {2009},
  url = {https://arxiv.org/abs/0904.3525},
  note = {Source identifier: 0904.3525}
}