scientific article; zbMATH DE number 5139172

MaRDI QIDQ3429166zbMATH OpenFDO

Authors E. Zarpas

Publication date 30 March 2007

zbMATH Keywords

benchmarkingsatisfiability

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
• 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

Cited in

(4)

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

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)