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
Auteurs principaux : Ouis Samir (Auteur), Boizumault Patrice (Directeur de thèse), Jussien Narendra (Directeur de thèse)
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)
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.
Condition d'utilisation et de reproduction : publication autorisée par le jury
Note de thèse : Thèse doctorat : Informatique : Nantes : 2003
Sujets :
Programmation par contraintes
Thèses et écrits académiques
Documents associés : Reproduit comme: Apport des explications dans la conception d'outils de mise au point pour la PPC
Particularités de l'exemplaire : BU Sciences, Ex. 1 :
Titre temporairement indisponible à la communication

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Communication impossible 03 NANT 2082 Empruntable Disponible
Communication impossible 03 NANT 2082 Exclu du prêt Disponible