Mancoosi Deliverable D5.4: Report on the international competition - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2011

Mancoosi Deliverable D5.4: Report on the international competition

Pietro Abate
  • Fonction : Auteur
  • PersonId : 860627
Preuves, Programmes et Systèmes
Ralf Treinen
  • Fonction : Auteur
  • PersonId : 845934
Preuves, Programmes et Systèmes

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]
Fichier principal
Vignette du fichier
d5.4.pdf (451.82 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Ralf Treinen  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00698967

Soumis le : lundi 21 mai 2012-11:14:04

Dernière modification le : vendredi 24 mars 2023-14:52:55

Archivage à long terme le : vendredi 30 novembre 2012-11:57:03

Télécharger pour visualiser

Dates et versions

hal-00698967 , version 1 (21-05-2012)

Identifiants

  • HAL Id : hal-00698967 , version 1

Citer

Pietro Abate, Ralf Treinen. Mancoosi Deliverable D5.4: Report on the international competition. [Research Report] 2011. ⟨hal-00698967⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS LARA
77 Consultations
54 Téléchargements

Partager

Gmail Facebook X LinkedIn More