Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logicielles

Résumé : Notre travail se situe dans le cadre de la gestion de dépendances logicielles. Nous présentons dans cet article des améliorations de l'approche décrite dans [2] concernant le calcul de solutions équilibrées dans ce contexte. Plus précisément, nous nous intéressons ici au calcul de solutions équilibrées Pareto-optimales. Nous comparons plusieurs codages de ce problème à base de variables booléennes, dont la résolution est confiée au prouveur Sat4j, et un codage utilisant une variable entière, dont la résolution est confiée au prouveur CPLEX.
Type de document :
Communication dans un congrès
Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France. 2012, Actes des Huitièmes Journées Francophones de Programmation par Contraintes
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00829567
Contributeur : Ist Inria Saclay <>
Soumis le : lundi 3 juin 2013 - 14:54:57
Dernière modification le : jeudi 11 janvier 2018 - 06:22:37
Document(s) archivé(s) le : mardi 4 avril 2017 - 15:46:25

Fichier

paper_49.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00829567, version 1

Collections

Citation

Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, Anne Parrain. Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logicielles. Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France. 2012, Actes des Huitièmes Journées Francophones de Programmation par Contraintes. 〈hal-00829567〉

Partager

Métriques

Consultations de la notice

109

Téléchargements de fichiers

460