Careful ranking of multiple solvers with timeouts and ties
type: Item
instance of: scholarly article
title: Careful Ranking of Multiple Solvers with Timeouts and Ties
zbMATH Open document ID: 1331.68213
DOI: 10.1007/978-3-642-21581-0_25
published in: Theory and Applications of Satisfiability Testing - SAT 2011
publication date: 2011-06-17T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5908755
author: Allen Van Gelder
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-642-21581-0 25
OpenAlex ID: W1794542069
cites work: On SAT instance classes and a method for reliable performance experiments with SAT solvers
cites work: Theory and Applications of Satisfiability Testing
cites work: Concorcet's principle implies the no show paradox
cites work: Statistical methodology for comparison of SAT solvers
cites work: Multicriterion decision in management. Principles and practice
Recommended article: Statistical methodology for comparison of SAT solvers
Recommended article: Theory and Applications of Satisfiability Testing
Recommended article: Q3429157
Recommended article: The 2013 evaluation of SMT-COMP and SMT-LIB
description: scientific article; zbMATH DE number 5908755