8 citations · 15 across the 4 of their papers we have counts for
4 papers
Towards Ultra Rapid Restarts
Shai Haim, Marijn Heule
We observe a trend regarding restart strategies used in SAT solvers. A few years ago, most state-of-the-art solvers restarted on average after a few thousands of backtracks. Curren…
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…
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…
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…