A new upper bound for 3-SAT

J. Diaz, L. Kirousis, D. Mitsche +1

We show that a randomly chosen 3-CNF formula over n variables with clauses-to-variables ratio at least 4.4898 is, as n grows large, asymptotically almost surely unsatisfiable. The…