A new upper bound for 3-SAT | Publicación