Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-00829567
Contributor : Ist Inria Saclay Connect in order to contact the contributor
Submitted on : Monday, June 3, 2013 - 2:54:57 PM
Last modification on : Thursday, September 9, 2021 - 3:10:16 PM
Long-term archiving on: : Tuesday, April 4, 2017 - 3:46:25 PM

File

paper_49.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00829567⟩

Share

Metrics

Record views

165

Files downloads

1758