SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers

DOI10.1007/978-3-319-24318-4_16MaRDI QIDQ3453227zbMATH OpenOpenAlexFDO

Authors Stefan Falkner, Marius Lindauer, Frank Hutter

Publication date 20 November 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-24318-4_16

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• SpyBug: automated bug detection in the configuration space of SAT solvers
• Automated benchmarking of incremental SAT and QBF solvers
• Empirical study of the anatomy of modern SAT solvers
• Anatomy and empirical evaluation of modern SAT solvers
• \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
• \textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers
• SATenstein: automatically building local search SAT solvers from components
• Automated testing and debugging of SAT and QBF solvers

Cites work

• Automated testing and debugging of SAT and QBF solvers
• Captain Jack: new variable selection heuristics in local search for SAT
• Choosing probability distributions for stochastic local search and the role of make versus break
• Conflict-driven answer set solving: from theory to practice
• Paramils: an automatic algorithm configuration framework
• Random forests
• SATenstein: automatically building local search SAT solvers from components
• The configurable SAT solver challenge (CSSC)
• Theory and applications of satisfiability testing -- SAT 2012. 15th international conference, Trento, Italy, June 17--20, 2012. Proceedings

Cited in

(5)

• Targeted configuration of an SMT solver
• On the configuration of more and less expressive logic programs
• The configurable SAT solver challenge (CSSC)
• Paramils: an automatic algorithm configuration framework
• SpyBug: automated bug detection in the configuration space of SAT solvers

Describes a project that uses

Uses Software

• Lingeling
• SMAC
• SpySMAC
• SATenstein
• irace
• Paramils

This page was built for publication: SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers

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