TY  - RPRT
TI  - Branch-and-Prune Search Strategies for Numerical Constraint Solving
AU  - Xuan-Ha Vu
AU  - Marius-Calin Silaghi
AU  - Djamila Sam-Haroud
AU  - Boi Faltings
PY  - 2007
UR  - https://arxiv.org/abs/cs/0512045
ID  - cs/0512045
ER  -