8 citations · 12 across the 5 of their papers we have counts for
1 paper · 1 filter
Jan-Hendrik Lorenz, Florian Wörz
There are two competing paradigms in successful SAT solvers: Conflict-driven clause learning (CDCL) and stochastic local search (SLS). CDCL uses systematic exploration of the searc…