Sam-Haroud, DjamilaFaltings, Boi2006-12-132006-12-132006-12-131995https://infoscience.epfl.ch/handle/20.500.14299/238126Constraint Consistency Techniques for Continuous Domainstext::report