162 citations · 853 across the 40 of their papers we have counts for
1 paper · 2 filters
Amin Coja-Oghlan
Let F be a uniformly distributed random k-SAT formula with n variables and m clauses. We present a polynomial time algorithm that finds a satisfying assignment of F with high proba…