Ranking and reputation systems in the QBF competition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4733 LNAI, Issue , 2007, Pages 97-108

  Narizzano, Massimo ^a   Pulina, Luca ^a   Tacchella, Armando ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; NUMERICAL METHODS;

ARTIFICIAL SETTINGS; QBF COMPETITIONS; REPUTATION SYSTEMS; VOTING SYSTEMS;

SYSTEMS ANALYSIS;

EID: 84896063412     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74782-6_10     Document Type: Conference Paper

References (22)

1. Sutcliffe, G., Suttner, C.: The CADE ATP System Competition (April 22, 2007), http://www.es.miami.edu/~tptp/CASC
2. Le Berre, D., Simon, L.: The SAT Competition (April 22, 2007), http://www.satcompetition.org
3. Long, D., Fox, M.: The 3rd International Planning Competition: Results and Analysis. Artificial Intelligence Research 20, 1-59 (2003)
4. van Dongen, M.R.C.: Introduction to the Solver Competition. In: CPAI 2005 proceedings (2005)
5. Barrett, C.W., de Moura, L., Stump, A.: SMT-COMP: Satisfiability Modulo Theories Competition. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 20-23. Springer, Heidelberg (2005)
6. Le Berre, D., Simon, L., Tacchella, A.: Challenges in the QBF arena: the SAT'03 evaluation of QBF solvers. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, Springer, Heidelberg (2004)
7. Le Berre, D., Narizzano, M., Simon, L., Tacchella, A.: The second QBF solvers evaluation. In: Hoos, H.H., Mitchell, D.G. (eds.) SAT 2004. LNCS, vol. 3542, Springer, Heidelberg (2005)
8. Narizzano, M., Pulina, L., Tacchella, A.: The third QBF solvers comparative evaluation. Journal on Satisfiability, Boolean Modeling and Computation 2, 145-164 (2006), Available on-line at http://jsat.ewi.tudelft.nl/
9. Hooker, J.N.: Testing Heuristics: We Have It AU Wrong. Journal of Heuristics 1, 33-42 (1996)
10. Saari, D.G.: Chaotic Elections! A Mathematician Looks at Voting. American Mathematical Society (2001)
11. Smith, W.D.: Range voting (April 22, 2007), Available on-line at http://www.math.temple.edu/~wds/homepage/rangevote.pdf
12. Schulze, M.: A New Monotonic and Clone-Independent Single-Winner Election Method. Voting Matters, 9-19 (2003)
13. Narizzano, M., Pulina, L., Taccchella, A.: QBF solvers competitive evaluation (QBFEVAL), http://www.qbf lib.org/qbieval
14. RoboCup, http://www.robocup.org
15. Arrow, K.J., Sen, A.K., Suzumura, K. (eds.): Handbook of Social Choice and Welfare, vol. 1. Elsevier, Amsterdam (2002)
16. Conitzer, V., Sandholm, T.: Common Voting Rules as Maximum Likelihood Estimators. In: EC-05. 6th ACM Conference on Electronic Commerce. LNCS, pp. 78-87. Springer, Heidelberg (2005)
17. Pulina, L.: Empirical Evaluation of Scoring Methods. In: Proc. STAIRS 2006. Frontiers in Artificial Intelligence and Applications, vol. 142, pp. 108-119 (2006)
18. Narizzano, M., Pulina, L., Tacchella, A.: Competitive Evaluation of QBF Solvers: noisy data and scoring methods. Technical report, STAR-Lab - University of Genoa (May 2006)
19. Giunchiglia, E., Narizzano, M., Pulina, L., Tacchella, A.: Quantified Boolean Formulas satisfiability library (QBFLIB), www.qbflib.org
20. Van Gelder, A., Le Berre, D., Biere, A., Kullmann, O., Simon, L.: Purse-Based Scoring for Comparison of Exponential-Time Programs (2006) (unpublished draft)
21. Narizzano, M., Pulina, L., Tacchella, A.: Competitive Evaluation of Automated Reasoning Tools: Statistical Testing and Empirical Scoring. In: EMAA 2006. First Workshop on Empirical Methods for the Analysis of Algorithms (2006)
22. Schulze, M.: Extending schulze's method to obtain an overall ranking. Personal communications