Unsatisfiable random formulas are hard to certify | Publicación