On sufficient conditions for unsatisfiability of random formulas | Publicación