Ranking and Reputation Systems in the QBF Competition

Authors:
Massimo Narizzano;Luca Pulina;Armando Tacchella
Affiliations:
DIST, Università di Genova, Viale Causa, 13 --- 16145 Genova, Italy;DIST, Università di Genova, Viale Causa, 13 --- 16145 Genova, Italy;DIST, Università di Genova, Viale Causa, 13 --- 16145 Genova, Italy
Venue:
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Year:
2007

Citing 4
Cited 1

Empirical Evaluation of Scoring Methods

Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
The 3rd international planning competition: results and analysis

Journal of Artificial Intelligence Research
The second QBF solvers comparative evaluation

SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
SMT-COMP: satisfiability modulo theories competition

CAV'05 Proceedings of the 17th international conference on Computer Aided Verification

The seventh QBF solvers evaluation (QBFEVAL’10)

SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.