8 M ay 2 00 7 Branch - and - Prune Search Strategies for Numerical Constraint Solving

Abstract

Xuan-Ha VU1, Marius-C alin SILAGHI2, Djamila SAM-HAROUD3 and Boi FALTINGS3 1 Cork Constraint Computation Centre, University College Cork (UCC), 14 Washington Street West, Cork, Ireland, Email: ha.vu@4c.ucc.ie; 2 Department of Computer Science, Florida Institute of Technology (FIT), 150 West University Boulevard, Melbourne, FL-32901-6975, USA Email: marius.silaghi@cs.fit.edu; 3 Arti cial Intelligence Laboratory, Ecole Polytechniqe F ed eral de Lausanne (EPFL), Batiment IN, Station 14, CH-1015 Lausanne, Switzerland, Email: jamila.sam@epfl.ch, boi.faltings@epfl.ch.

14 Figures and Tables

Cite this paper

@inproceedings{Vu8MA, title={8 M ay 2 00 7 Branch - and - Prune Search Strategies for Numerical Constraint Solving}, author={Xuan Vu and A Silaghi and Djamila Haroud and Boi Faltings} }