14 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.SE2008★ 14 cited
Description of the CUDF Format
Ralf Treinen, Stefano Zacchiroli
This document contains several related specifications, together they describe the document formats related to the solver competition which will be organized by Mancoosi. In particu…
cs.SE2008★ 2 cited
Solving package dependencies: from EDOS to Mancoosi
Ralf Treinen, Stefano Zacchiroli
Mancoosi (Managing the Complexity of the Open Source Infrastructure) is an ongoing research project funded by the European Union for addressing some of the challenges related to th…