Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

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.
keyword : Non disponibles
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [117 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00460193
Contributor : Estelle Nivault <>
Submitted on : Friday, February 26, 2010 - 2:27:18 PM
Last modification on : Monday, October 12, 2020 - 10:30:28 AM
Long-term archiving on: : Thursday, October 18, 2012 - 4:10:25 PM

Identifiers

  • HAL Id : tel-00460193, version 1

Collections

Citation

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

Share

Metrics

Record views

245

Files downloads

4048