Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/474
Title: Statistical methodology for comparison of SAT solvers
Authors: Nikolić, Mladen 
Affiliations: Informatics and Computer Science 
Issue Date: 2-Aug-2010
Related Publication(s): International Conference on Theory and Applications of Satisfiability Testing SAT 2010
Journal: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Abstract: 
Evaluating improvements to modern SAT solvers and comparison of two arbitrary solvers is a challenging and important task. Relative performance of two solvers is usually assessed by running them on a set of SAT instances and comparing the number of solved instances and their running time in a straightforward manner. In this paper we point to shortcomings of this approach and advocate more reliable, statistically founded methodologies that could discriminate better between good and bad ideas. We present one such methodology and illustrate its application. © 2010 Springer-Verlag.
URI: https://research.matf.bg.ac.rs/handle/123456789/474
ISBN: 3642141854
ISSN: 03029743
DOI: 10.1007/978-3-642-14186-7_18
Appears in Collections:Research outputs

Show full item record

SCOPUSTM   
Citations

5
checked on Dec 19, 2024

Page view(s)

18
checked on Dec 24, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.