A remark on pseudo proof systems and hard instances of the satisfiability problem | Publicación