F. Mancinelli, J. Boender, R. Di-cosmo, J. Vouillon, B. Durak et al., Managing the Complexity of Large Free and Open Source Package-Based Software Distributions, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), pp.199-208, 2006.
DOI : 10.1109/ASE.2006.49

URL : https://hal.archives-ouvertes.fr/hal-00149566

C. Tucker, D. Shuffelton, R. Jhala, and S. Lerner, OPIUM: Optimal Package Install/Uninstall Manager, 29th International Conference on Software Engineering (ICSE'07), pp.178-188, 2007.
DOI : 10.1109/ICSE.2007.59

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. L. Berre and A. Parrain, On sat technologies for dependency management and beyond, SPLC, pp.197-200, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00870846

P. Abate, J. Boender, R. D. Cosmo, and S. Zacchiroli, Strong dependencies between software components, " in ESEM, pp.89-99, 2009.

R. , D. Cosmo, and J. Boender, Using strong conflicts to detect quality issues in component-based complex systems, ISEC '10: Proceedings of the 3rd India software engineering conference, pp.163-172, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00495740

R. Treinen and S. Zacchiroli, Solving package dependencies: from EDOS to Mancoosi, pp.18-43, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00340581

R. , D. Cosmo, F. Mancinelli, J. Boender, J. Vouillon et al., Report on formal mangement of software dependencies, eDOS project Deliverable 2.2, 2006.

R. , D. Cosmo, B. Durak, X. Leroy, F. Mancinelli et al., Maintaining large software distributions: new challenges from the FOSS era, Proceedings of the FRCSS 2006 workshop, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00154188

H. K. Buning and T. Lettmann, Propositional logic: Deduction and algorithms, Studia Logica, vol.71, pp.247-258, 2002.

G. Ausiello, A. D. Atri, and D. Saccà, Graph Algorithms for Functional Dependency Manipulation, Journal of the ACM, vol.30, issue.4, pp.752-766, 1983.
DOI : 10.1145/2157.322404

G. Ausiello, A. D. Atri, and D. Saccá, Minimal Representation of Directed Hypergraphs, SIAM Journal on Computing, vol.15, issue.2, pp.418-431, 1986.
DOI : 10.1137/0215029

J. Ellson, E. Gansner, L. Koutsofios, S. North, and G. Woodhull, Graphviz -open source graph drawing tools, " in Graph Drawing, ser. Lecture Notes in Computer Science, pp.594-597, 2002.

R. , D. Cosmo, and S. Zacchiroli, Feature diagrams as package dependencies, " in SPLC, ser, Lecture Notes in Computer Science, vol.6287, pp.476-480, 2010.

W. F. Dowling and J. H. Gallier, Linear-time algorithms for testing the satisfiability of propositional horn formulae, The Journal of Logic Programming, vol.1, issue.3, pp.267-284, 1984.
DOI : 10.1016/0743-1066(84)90014-1