Vu, Xuan-HaSam-Haroud, DjamilaFaltings, Boi2006-12-132006-12-132006-12-132003https://infoscience.epfl.ch/handle/20.500.14299/238401Clustering the Search Tree for Numerical Constraintstext::conference output::conference proceedings::conference paper