Solving the SAT problem using spiking neural P systems with structural plasticity and pre-computed resources | Publicación