Online Estimation of SAT Solving Runtime

DOI10.1007/978-3-540-79719-7_12zbMath1138.68540OpenAlexW2155460686MaRDI QIDQ3502701

Toby Walsh, Shai Haim

Publication date: 27 May 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-79719-7_12

Mathematics Subject Classification ID

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

Related Items (3)

Portfolio theorem proving and prover runtime prediction for geometry ⋮ Algorithm runtime prediction: methods \& evaluation ⋮ Machine learning for first-order theorem proving

Uses Software

• MiniSat

This page was built for publication: Online Estimation of SAT Solving Runtime