@misc{indiciae4cea95fb3ad1,
  title = {An efficient constraint based framework forhandling floating point SMT problems},
  author = {Heytem Zitoun and Claude Michel and Laurent Michel and Michel Rueher},
  year = {2020},
  url = {https://arxiv.org/abs/2002.12441},
  note = {Source identifier: 2002.12441}
}