Contribution a la resolution de contraintes par consistance forte

• Auteur / Autrice : Yahia Lebbah
• Direction : Patrice Boizumault
• Type : Thèse de doctorat
• Discipline(s) : Sciences et techniques
• Date : Soutenance en 1999
• Etablissement(s) : Nantes

Résumé

Cette these propose differentes voies pour ameliorer les techniques de resolution de contraintes numeriques a base de filtrage par consistance forte. Ces techniques ont montre leur interet dans la resolution des problemes difficiles. Cependant, sur de nombreux problemes, elles s'averent couteuses. Une premiere proposition est d'utiliser des methodes d'extrapolation pour accelerer la convergence des suites de nombres. Les methodes classiques d'extrapolation sont non-conservatives, elles ne garantissent pas de trouver toutes les solutions. Nous proposons, en particulier, une methode qui permet d'utiliser l'extrapolation dans les algorithmes de filtrage sans omettre de solution. Un deuxieme aspect developpe dans cette these repose sur l'observation suivante : parfois, le filtrage decouvre fortuitement une solution, cependant, rien n'est prevu pour exploiter une telle decouverte. Nous proposons une nouvelle consistance la consistance enumerante qui justement exploite cette information. Une troisieme voie, est le developpement de l'aspect incremental des algorithmes de filtrage. Nous proposons un ensemble de techniques pour rendre encore plus incremental le filtrage. Enfin, face a un probleme donne, une consistance specialisee pour ce probleme peut etre beaucoup plus efficace. Nous proposons un langage dedie a la specification de consistances fortes.