Solving 3CNF-SAT and HPP in Linear Time Using WWW | Publicación