Modélisation et contraintes globales en programmation par contraintes
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'...
Main Author: | Régin, Jean-Charles |
---|---|
Language: | FRE |
Published: |
Université de Nice Sophia-Antipolis
2004
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00460193 http://tel.archives-ouvertes.fr/docs/00/46/01/93/PDF/HdR_Regin.pdf |
Similar Items
-
Contribution à la vérication formelle et programmation par contraintes
by: Collavizza, Hélène
Published: (2009) -
Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité
by: Olarte, Carlos
Published: (2009) -
Modélisation et résolution en programmation par contraintes de problèmes mixtes continu/discret de satisfaction de contraintes et d'optimisation
by: Berger, Nicolas
Published: (2010) -
Modélisation et propagation de contraintes temporelles pour la planification
by: Rit, Jean-François
Published: (1988) -
Méthodes hybrides de programmation par contraintes et programmation linéaire pour le problème d'ordonnancement de projet à contraintes de ressources
by: Demassey, Sophie
Published: (2003)