Résolution de problèmes combinatoires modélisés par des contraintes quantifiées

Résolution de problèmes combinatoires modélisés par des contraintes quantifiées

Cette thèse s'inscrit dans le contexte de la programmation par contraintes sur les domaines finis, un paradigme de programmation qui consiste à exprimer des problèmes combinatoires par le biais de langages formels. L'emploi d'algorithmes de résolution de formules logiques permet ainsi...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Bordeaux Lucas (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Autre partenaire associé à la thèse), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la thèse)
Autres auteurs : Benhamou Frédéric (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Résolution de problèmes combinatoires modélisés par des contraintes quantifiées / Lucas Bordeaux; sous la dir. de Frédéric Benhamou
Publié : [S.l.] : [s.n.] , 2003
Description matérielle : 178 p.
Note de thèse : Thèse doctorat : Informatique : Nantes : 2003
Disponibilité : Publication autorisée par le jury
Sujets :
Programmation par contraintes

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin aérotherme 03 NANT 2032 Empruntable Disponible
Magasin aérotherme 03 NANT 2032 Exclu du prêt disponible