Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logicielles
Résumé
Our work deals with software dependency management problems. In this article, we present some improvements of the approaches presented in [2] for computing balanced solutions in this context. More precisely, our aim is to to compute Pareto optimal balanced solutions. We compare some encodings using Boolean variables, implemented on top of the Sat4j solver, and an encoding using integer variables, implemented on top of the CPLEX solver.
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.
Domaines
Intelligence artificielle [cs.AI]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...