Careful Ranking of Multiple Solvers with Timeouts and Ties
From MaRDI portal
Publication:3007693
DOI10.1007/978-3-642-21581-0_25zbMath1331.68213OpenAlexW1794542069MaRDI QIDQ3007693
Publication date: 17 June 2011
Published in: Theory and Applications of Satisfiability Testing - SAT 2011 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21581-0_25
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
The QBF Gallery: behind the scenes ⋮ Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges
Cites Work
- Concorcet's principle implies the no show paradox
- On SAT instance classes and a method for reliable performance experiments with SAT solvers
- Statistical Methodology for Comparison of SAT Solvers
- Theory and Applications of Satisfiability Testing
- Multicriterion decision in management. Principles and practice
This page was built for publication: Careful Ranking of Multiple Solvers with Timeouts and Ties
