Modélisation et contraintes globales en programmation par contraintes

Description

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.

Additional details