Abstract FR:

Les algorithmes de propagation d'intervalles sont utilisés pour approximer les domaines de variation des variables d'un système de contraintes (polynomiales, trigonométriques ou logarithmiques). Dans un premier temps, nous étudions ces algorithmes et proposons notamment une formalisation en termes de consistances partielles. Nous introduisons ensuite une famille de consistances partielles ainsi que des algorithmes associés qui fournissent de meilleures approximations des domaines de variation des variables. Ces techniques sont implantées dans le systeme interlog II, qui est sommairement présenté