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...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivités auteurs : | , , |
Autres auteurs : | |
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 : |
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 |