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 .


  • 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (227 p.)
  • Annexes : Bibliogr. 121 références

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rouen Normandie. Service commun de la documentation. Section Sciences et Techniques (site du Madrillet).
  • Disponible pour le PEB
  • Cote : 94/ROUE/S032

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1994-CER
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.