Extension des QuadTrees pour la représentation et le filtrage des contraintes numériques définies par des fonctions par morceaux
Résumé
Cette communication présente une approche de représentation de contraintes continues. La méthode de discrétisation dynamique des domaines des variables définit une représentation de l'espace de recherche sous la forme d'un arbre appelé QuadTree dans le cas de contraintes binaires. Nous proposons une extension de cette méthode pour prendre en compte les contraintes continues exprimées comme des fonctions par morceaux. La première section introduit la méthode de génération de QuadTrees. La seconde section propose une définition des contraintes définies par des fonctions par morceaux. Enfin, la troisième section propose une extension de la méthode de QuadTree permettant de prendre en compte ce type de contraintes.