A solution to SAT with virus machines with pre-computed resources | Publicación