Modélisation et contraintes globales en programmation par contraintes - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2004

Modélisation et contraintes globales en programmation par contraintes

Résumé

Le but de ce document n'est pas de faire une synthèse des travaux récents en PPC, mais de mettre en évidence mes contributions dans ce domaine. Je ne parlerai donc pas de nombreux aspects de la PPC comme la détection et l'élimination des symétries ou les méthodes de recherche car je n'ai publié aucun article sur ces sujets. Je ne parlerai pas non plus de certains domaines importants de la PPC comme les CSP numériques ou l'ordonnancement pour lesquels un travail considérable a été effectué. Ce document présente les travaux les plus importants que j'ai publiés et quelques résultats originaux non encore publiés. Il est structuré en six parties : Présentation de la PPC , Principes de la PPC et problématique de la modélisation, Algorithmes de filtrage et contraintes globales, Problèmes sur-contraints, Applications, Réflexions et perspectives.

Mots clés

Fichier principal
Vignette du fichier
HdR_Regin.pdf (497.6 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00460193 , version 1 (26-02-2010)

Identifiants

  • HAL Id : tel-00460193 , version 1

Citer

Jean-Charles Régin. Modélisation et contraintes globales en programmation par contraintes. Modélisation et simulation. Université Nice Sophia Antipolis, 2004. ⟨tel-00460193⟩
217 Consultations
3283 Téléchargements

Partager

Gmail Facebook X LinkedIn More