Uniform solutions to SAT and Subset Sum by spiking neural P systems | Publicación