scientific article; zbMATH DE number 5139172

zbMATH Open1113.68485MaRDI QIDQ3429166FDOQ3429166

Authors: E. Zarpas 

Publication date: 30 March 2007

Title of this publication is not available (Why is that?)

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
• Boosting SAT solver performance via a new hybrid approach
• Assessing progress in SAT solvers through the Lens of incremental SAT
• Present and Future of Practical SAT Solving

zbMATH Keywords

benchmarkingsatisfiability

Mathematics Subject Classification ID

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

Cited In (4)

• Statistical methodology for comparison of SAT solvers
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• The Relation Between Complete and Incomplete Search

This page was built for publication:

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