. Bibliography, A. Pietro-abate, . Guerreiro, R. Stéphanelaurì-ere, S. Treinen et al., Extension of an existing package manager to produce traces of ugradeability problems in CUDF format. Deliverable 5.2, The Mancoosi Project, 2010.

P. Abate and R. Treinen, UPDB infrastructure to collect traces of ugradeability problems in CUDF format. Deliverable 5.3, The Mancoosi Project, 2011.

R. D. , C. , F. Mancinelli, J. Boender, J. Vouillon et al., Report on formal mangement of software dependencies, 2006.

T. J. Schaefer, The complexity of satisfiability problems, Proceedings of the tenth annual ACM symposium on Theory of computing , STOC '78, pp.1-3, 1978.
DOI : 10.1145/800133.804350

R. Treinen and S. Zacchiroli, Description of the CUDF format Deliverable 5.1, The Mancoosi Project, 2008.

R. Treinen and S. Zacchiroli, Common upgradeability description format (CUDF) 2.0 The Mancoosi Project, 2009.

R. Treinen and S. Zacchiroli, Expressing advanced user preferences in component installation, Proceedings of the 1st international workshop on Open component ecosystems, IWOCE '09, pp.31-40, 2009.
DOI : 10.1145/1595800.1595806
URL : https://hal.archives-ouvertes.fr/hal-00420065