136 citations · 224 across the 10 of their papers we have counts for
1 paper · 2 filters
Simona Cocco, Remi Monasson
An analysis of the average-case complexity of solving random 3-Satisfiability (SAT) instances with backtrack algorithms is presented. We first interpret previous rigorous works in…