203 citations · 391 across the 22 of their papers we have counts for
1 paper · 2 filters
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…