13 citations · 17 across the 5 of their papers we have counts for
1 paper · 1 filter
Andrea Lincoln, Adam Yedidia
We describe an algorithm to solve the problem of Boolean CNF-Satisfiability when the input formula is chosen randomly. We build upon the algorithms of Sch{ö}ning 1999 and Dantsin e…