research
∙
02/18/2014
Towards Ultra Rapid Restarts
We observe a trend regarding restart strategies used in SAT solvers. A f...
research
∙
07/29/2009
Online Search Cost Estimation for SAT Solvers
We present two different methods for estimating the cost of solving SAT ...
research
∙
07/29/2009