Article thumbnail
Location of Repository

Ranking and reputation systems in the QBF competition

By Massimo Narizzano, Luca Pulina and Armando Tacchella


Systems competitions play a fundamental role in the advancement of the state of the art in several automated reasoning fields. The goal of such events is to answer the question: "Which system should I buy?". In this paper, we consider voting systems as an alternative to other procedures which are well established in automated reasoning contests. Our research is aimed to compare methods that are customary in the context of social choice, with methods that are targeted to artificial settings, including a new hybrid method that we introduce

Topics: ING-INF/05 Sistemi di elaborazione delle informazioni
Publisher: Springer
Year: 2007
OAI identifier:
Provided by: UnissResearch
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.