Méthodologies et techniques de résolution de problèmes avec contraintes. Application en programmation logique avec objets : cooxi

par Laurent Cervoni

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Pierre Pecuchet.

Soutenue en 1994

à Rouen .

mots clés

• Résolution problème
• Satisfaction
• Contrainte
• Programmation logique
• Orienté objet
• Recherche opérationnelle
• Problème combinatoire
• Cooxi
• Programmation par contraintes
• Problème à satisfaction contrainte
• Problem solving
• Satisfaction
• Constraint
• Logical programming
• Object oriented
• Operations research
• Combinatorial problem
• Programmation logique
• Recherche opérationnelle
• Programmation par contraintes

Résumé

Cette thèse se présente tout d'abord comme une étude exploratoire des techniques, des méthodes et des systèmes de résolution de problèmes avec contraintes, basée sur un retour d'expérience industriel. Devant l'émergence, ces dernières années, de nouvelles techniques ou outils pour résoudre les problèmes fortement combinatoires, ce document se propose de restituer plus précisément le contexte de la résolution de ces problèmes complexes en : passant en revue les approches disponibles, collectant le maximum de techniques, les comparant ; précisant les liens entre recherche opérationnelle et programmation par contraintes. Une méthodologie répondant de manière efficace à ces problèmes complexes (dits avec contraintes) est alors suggérée. Enfin, la dernière partie étudie les perspectives de quelques techniques au travers d'une structure d'accueil en programmation logique

Titre traduit

Methods, techniques and tools for constraint-satisfaction problems. Experimentaiton with a logic objet-oriented constraint solver: COOXI

Pas de résumé disponible.