Solving SAT in Linear Time with a Neural-like Membrane System | Publicación