Apport des explications dans la conception d'outils de mise au point pour la PPC

Apport des explications dans la conception d'outils de mise au point pour la PPC

Les systèmes de la programmation par contraintes sont impuissants face à des problèmes sur-contraints. De plus, la résolution des problèmes dynamiques revient à résoudre une suite de problèmes statiques. Mais ceci peut rapidement devenir rohibitif en temps de calcul. Il s'avère donc nécessaire...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Ouis Samir (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la thèse)
Autres auteurs : Boizumault Patrice (Directeur de thèse), Jussien Narendra (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Apport des explications dans la conception d'outils de mise au point pour la PPC / Samir Ouis; sous la dir. de Patrice Boizumault et Narendra Jussien
Publié : [S.l.] : [s.n.] , 2003
Description matérielle : 151 p.
Note de thèse : Thèse doctorat : Informatique : Nantes : 2003
Disponibilité : publication autorisée par le jury
Sujets :
Programmation par contraintes > Thèses et écrits académiques

BU Sciences

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