Mancoosi Deliverable D5.4: Report on the international competition
Résumé
The main objective of Workpackage 5 was to organize an international competition of solvers of package upgradeability problems. This deliverable reports on the organisation of the MISC 2010 competition, the results and the lessons learned, and about the evolution since 2010.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...