Solving SAT by restricted spiking neural P systems with temporal division rules

Theoretical Computer Science 2026

View at publisher

Authors: Luping Zhang, Tingfang Wu

DOI: 10.1016/j.tcs.2026.116009

Cited by: 12

References: 36

Fields of Study & Subjects

DNA and Biological Computing Machine Learning and Algorithms Advanced biosensing and bioanalysis techniques

References 36