Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources
scientific article; zbMATH DE number 5712814