On the satisfiability threshold of formulas with three literals per clause | Publicación