Modélisation et résolution en programmation par contraintes de problèmes mixtes continu/discret de satisfaction de contraintes et d'optimisation

Modélisation et résolution en programmation par contraintes de problèmes mixtes continu/discret de satisfaction de contraintes et d'optimisation

Les contraintes sont un moyen générique de représenter les règles qui gouvernent notre monde. Étant donné un ensemble de contraintes, une question centrale est de savoir s il existe une possibilité de toutes les satisfaire simultanément. Cette problématique est au coeur de la programmation par contr...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Berger Nicolas (Auteur), Grandvilliers Laurent (Directeur de thèse), Goualard Frédéric (Directeur de thèse), Giraudeau Patrick (Directeur de thèse)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Organisme de soutenance), École doctorale Sciences et technologies de l'information et mathématiques Nantes (Organisme de soutenance)
Format : Thèse ou mémoire
Langue : français
Titre complet : Modélisation et résolution en programmation par contraintes de problèmes mixtes continu/discret de satisfaction de contraintes et d'optimisation / Nicolas Berger; sous la direction de Laurent Granvilliers, Frédéric Goualard
Publié : [S.l.] : [s.n.] , 2010
Accès en ligne : Accès Nantes Université
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2010
Sujets :
Programmation par contraintes
Optimisation globale
Contraintes globales > Collaboration de serveurs > Arithmétique des intervalles
Thèses et écrits académiques
Documents associés : Reproduction de: Modélisation et résolution en programmation par contraintes de problèmes mixtes continu/discret de satisfaction de contraintes et d'optimisation

Internet

https://archive.bu.univ-nantes.fr/pollux/show/show?id=346685f1-387b-47d0-966a-1449c713aae3