61 citations · 83 across the 10 of their papers we have counts for
1 paper · 1 filter
Jakob Nordström, Johan Håstad
Most state-of-the-art satisfiability algorithms today are variants of the DPLL procedure augmented with clause learning. The main bottleneck for such algorithms, other than the obv…