@misc{indiciae554f6e984fb6,
  title = {Branch-and-Prune Search Strategies for Numerical Constraint Solving},
  author = {Xuan-Ha Vu and Marius-Calin Silaghi and Djamila Sam-Haroud and Boi Faltings},
  year = {2007},
  url = {https://arxiv.org/abs/cs/0512045},
  note = {Source identifier: cs/0512045}
}