6 citations · 7 across the 3 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2009★ 1 cited
Online Search Cost Estimation for SAT Solvers
Shai Haim, Toby Walsh
We present two different methods for estimating the cost of solving SAT problems. The methods focus on the online behaviour of the backtracking solver, as well as the structure of…
cs.AI2009★ 6 cited
Restart Strategy Selection using Machine Learning Techniques
Shai Haim, Toby Walsh
Restart strategies are an important factor in the performance of conflict-driven Davis Putnam style SAT solvers. Selecting a good restart strategy for a problem instance can enhanc…
cs.AI2009
Online Estimation of SAT Solving Runtime
Shai Haim, Toby Walsh
We present an online method for estimating the cost of solving SAT problems. Modern SAT solvers present several challenges to estimate search cost including non-chronological backt…