Online Estimation of SAT Solving Runtime

4 March 2009

Papers citing "Online Estimation of SAT Solving Runtime"

4 / 4 papers shown

Title
A Topological Approach to Meta-heuristics: Analytical Results on the BFS vs. DFS Algorithm Selection Problem Tom Everitt Marcus Hutter 25 6 0 09 Sep 2015
Algorithm Runtime Prediction: Methods & Evaluation Frank Hutter Lin Xu Holger H. Hoos Kevin Leyton-Brown 134 418 0 05 Nov 2012
Online Search Cost Estimation for SAT Solvers Shai Haim T. Walsh OffRL 77 1 0 29 Jul 2009
Restart Strategy Selection using Machine Learning Techniques Shai Haim T. Walsh 114 45 0 29 Jul 2009