Statistical methodology for comparison of SAT solvers

DOI10.1007/978-3-642-14186-7_18MaRDI QIDQ4930590zbMATH OpenOpenAlexFDO

Authors Mladen Nikolić

Publication date 29 September 2010

Published in Theory and Applications of Satisfiability Testing – SAT 2010 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14186-7_18

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Anatomy and empirical evaluation of modern SAT solvers
• Empirical study of the anatomy of modern SAT solvers
• On SAT instance classes and a method for reliable performance experiments with SAT solvers
• Theory and Applications of Satisfiability Testing
• scientific article; zbMATH DE number 5139172

Cited in

(4)

• On SAT instance classes and a method for reliable performance experiments with SAT solvers
• meSAT: multiple encodings of CSP to SAT
• Careful ranking of multiple solvers with timeouts and ties
• Theory and Applications of Satisfiability Testing

This page was built for publication: Statistical methodology for comparison of SAT solvers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4930590)