{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:53:05Z","timestamp":1725490385143},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540747819"},{"type":"electronic","value":"9783540747826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74782-6_10","type":"book-chapter","created":{"date-parts":[[2007,8,25]],"date-time":"2007-08-25T10:51:49Z","timestamp":1188039109000},"page":"97-108","source":"Crossref","is-referenced-by-count":2,"title":["Ranking and Reputation Systems in the QBF Competition"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Narizzano","sequence":"first","affiliation":[]},{"given":"Luca","family":"Pulina","sequence":"additional","affiliation":[]},{"given":"Armando","family":"Tacchella","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Sutcliffe, G., Suttner, C.: The CADE ATP System Competition (April 22, 2007), http:\/\/www.cs.miami.edu\/~tptp\/CASC"},{"key":"10_CR2","unstructured":"Le Berre, D., Simon, L.: The SAT Competition (April 22, 2007), http:\/\/www.satcompetition.org"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1026044009832","volume":"20","author":"D. Long","year":"2003","unstructured":"Long, D., Fox, M.: The 3rd International Planning Competition: Results and Analysis. Artificial Intelligence Research\u00a020, 1\u201359 (2003)","journal-title":"Artificial Intelligence Research"},{"key":"10_CR4","unstructured":"van Dongen, M.R.C.: Introduction to the Solver Competition. In: CPAI 2005 proceedings (2005)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/11513988_4","volume-title":"Computer Aided Verification","author":"C.W. Barrett","year":"2005","unstructured":"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.\u00a03576, pp. 20\u201323. Springer, Heidelberg (2005)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Theory and Applications of Satisfiability Testing","author":"D. Berre Le","year":"2004","unstructured":"Le Berre, D., Simon, L., Tacchella, A.: Challenges in the QBF arena: the SAT\u201903 evaluation of QBF solvers. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, Springer, Heidelberg (2004)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Theory and Applications of Satisfiability Testing","author":"D. Berre Le","year":"2005","unstructured":"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.\u00a03542, Springer, Heidelberg (2005)"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"145","DOI":"10.3233\/SAT190019","volume":"2","author":"M. Narizzano","year":"2006","unstructured":"Narizzano, M., Pulina, L., Tacchella, A.: The third QBF solvers comparative evaluation. Journal on Satisfiability, Boolean Modeling and Computation\u00a02, 145\u2013164 (2006), available on-line at http:\/\/jsat.ewi.tudelft.nl\/","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF02430364","volume":"1","author":"J.N. Hooker","year":"1996","unstructured":"Hooker, J.N.: Testing Heuristics: We Have It All Wrong. Journal of Heuristics\u00a01, 33\u201342 (1996)","journal-title":"Journal of Heuristics"},{"key":"10_CR10","unstructured":"Saari, D.G.: Chaotic Elections! A Mathematician Looks at Voting. American Mathematical Society (2001)"},{"key":"10_CR11","unstructured":"Smith, W.D.: Range voting (April 22, 2007), available on-line at http:\/\/www.math.temple.edu\/~wds\/homepage\/rangevote.pdf"},{"key":"10_CR12","unstructured":"Schulze, M.: A New Monotonic and Clone-Independent Single-Winner Election Method. Voting Matters, 9\u201319 (2003)"},{"key":"10_CR13","unstructured":"Narizzano, M., Pulina, L., Taccchella, A.: QBF solvers competitive evaluation (QBFEVAL), http:\/\/www.qbflib.org\/qbfeval"},{"key":"10_CR14","unstructured":"RoboCup, http:\/\/www.robocup.org"},{"volume-title":"Handbook of Social Choice and Welfare","year":"2002","key":"10_CR15","unstructured":"Arrow, K.J., Sen, A.K., Suzumura, K. (eds.): Handbook of Social Choice and Welfare, vol.\u00a01. Elsevier, Amsterdam (2002)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1064009.1064018","volume-title":"EC-05","author":"V. Conitzer","year":"2005","unstructured":"Conitzer, V., Sandholm, T.: Common Voting Rules as Maximum Likelihood Estimators. In: EC-05. 6th ACM Conference on Electronic Commerce. LNCS, pp. 78\u201387. Springer, Heidelberg (2005)"},{"key":"10_CR17","unstructured":"Pulina, L.: Empirical Evaluation of Scoring Methods. In: Proc. STAIRS 2006. Frontiers in Artificial Intelligence and Applications, vol.\u00a0142, pp. 108\u2013119 (2006)"},{"key":"10_CR18","unstructured":"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)"},{"key":"10_CR19","unstructured":"Giunchiglia, E., Narizzano, M., Pulina, L., Tacchella, A.: Quantified Boolean Formulas satisfiability library (QBFLIB), www.qbflib.org"},{"key":"10_CR20","unstructured":"Van Gelder, A., Le Berre, D., Biere, A., Kullmann, O., Simon, L.: Purse-Based Scoring for Comparison of Exponential-Time Programs (2006) (unpublished draft)"},{"key":"10_CR21","unstructured":"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)"},{"key":"10_CR22","unstructured":"Schulze, M.: Extending schulze\u2019s method to obtain an overall ranking. Personal communications"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2007: Artificial Intelligence and Human-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74782-6_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:24:04Z","timestamp":1605745444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74782-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540747819","9783540747826"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74782-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}