A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules | Publicación