{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T23:43:52Z","timestamp":1776815032279,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642215803","type":"print"},{"value":"9783642215810","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21581-0_25","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T09:30:19Z","timestamp":1307698219000},"page":"317-328","source":"Crossref","is-referenced-by-count":5,"title":["Careful Ranking of Multiple Solvers with Timeouts and Ties"],"prefix":"10.1007","author":[{"given":"Allen","family":"Van Gelder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10472-005-0417-5","volume":"43","author":"F. Brglez","year":"2005","unstructured":"Brglez, F., Li, X.Y., Stallmann, M.F.: On SAT instance classes and a method for reliable performance experiments with sat solvers. Annals of Mathematics and Artificial Intelligence\u00a043, 1\u201334 (2005)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"25_CR2","volume-title":"Workshop on Experimental Computer Science","author":"F. Brglez","year":"2007","unstructured":"Brglez, F., Osborne, J.A.: Performance testing of combinatorial solvers with isomorph class instances. In: Workshop on Experimental Computer Science, San Diego. ACM, New York (2007) (co-located with FCRC 2007)"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Le Berre, D., Simon, L.: The essentials of the sat 2003 competition. In: Proc. SAT (2004)","DOI":"10.1007\/978-3-540-24605-3_34"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1257\/jep.9.1.3","volume":"9","author":"J. Levin","year":"1995","unstructured":"Levin, J., Nalebuff, B.: An introduction to vote-counting schemes. The Journal of Economic Perspectives\u00a09, 3\u201326 (1995)","journal-title":"The Journal of Economic Perspectives"},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0022-0531(88)90253-0","volume":"45","author":"H. Moulin","year":"1988","unstructured":"Moulin, H.: Condorcet\u2019s principle implies the no-show paradox. The Journal of Economic Theory\u00a045, 53\u201364 (1988)","journal-title":"The Journal of Economic Theory"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-642-14186-7_18","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2010","author":"M. Nikoli\u0107","year":"2010","unstructured":"Nikoli\u0107, M.: Statistical methodology for comparison of SAT solvers. In: Strichman, O., Szeider, S. (eds.) SAT 2010. LNCS, vol.\u00a06175, pp. 209\u2013222. Springer, Heidelberg (2010)"},{"key":"25_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4459-3","volume-title":"Multicriterion Decision in Management: Principles and Practice","author":"J.-C. Pomerol","year":"2000","unstructured":"Pomerol, J.-C., Barba-Romero, S.: Multicriterion Decision in Management: Principles and Practice. Springer, Heidelberg (2000)"},{"key":"25_CR8","unstructured":"Pulina, L.: Empirical evaluation of scoring methods. In: Third European Starting AI Researcher Symposium (2006)"},{"key":"25_CR9","unstructured":"Schulze, M.: A new monotonic and clone-independent single-winner election method. In: Tideman, N. (ed.) Voting Matters, vol.\u00a0(17), pp. 9\u201319 (October 2003), \n                      \n                        http:\/\/www.votingmatters.org.uk"},{"key":"25_CR10","unstructured":"Tideman, N.: Collective Decisions and Voting: the Potential for Public Choice. Ashgate (2006)"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing - SAT 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21581-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T11:14:51Z","timestamp":1553771691000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21581-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642215803","9783642215810"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21581-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}