Solving SAT by restricted spiking neural P systems with temporal division rules
Top Cited Papers
- 6 May 2026
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 1078
Abstract
No abstract availableFunding Information
- Natural Science Foundation of Jiangxi Province (20242BAB25062)
- National Natural Science Foundation of China (62562003)
- National Natural Science Foundation of China (62572334)
This publication has 36 references indexed in Scilit:
- Witness encryption with updatable ciphertextsScience China Information Sciences, 2025
- Optimizing local search-based partial MaxSAT solving via initial assignment predictionScience China Information Sciences, 2024
- Monodirectional evolutional symport tissue P systems with channel states and cell divisionScience China Information Sciences, 2023
- Homogeneous spiking neural P systems with structural plasticityJournal of Membrane Computing, 2021
- A formal framework for spiking neural P systemsJournal of Membrane Computing, 2020
- Distributed computation of a k P systems with active membranes for SAT using clause completionJournal of Membrane Computing, 2020
- P systems attacking hard problems beyond NP: a surveyJournal of Membrane Computing, 2019
- Homogenous spiking neural P systems with anti-spikesNeural Computing and Applications, 2013
- Spiking neural P systems with neuron division and buddingScience China Information Sciences, 2011
- Computing with MembranesJournal of Computer and System Sciences, 2000