1 citations · 1 across the 1 of their papers we have counts for
1 paper
Lu-Lu Wu, Hai-Jun Zhou, Mikko Alava +2
The random 3-satisfiability (3-SAT) problem is in the unsatisfiable (UNSAT) phase when the clause density α exceeds a critical value αs≈4.267. However, rigorously prov…