Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources
DOI10.1016/J.TCS.2010.01.019zbMATH Open1208.68172OpenAlexW1996796733MaRDI QIDQ974099FDOQ974099
Authors: Tseren-Onolt Ishdorj, Alberto Leporati, XiangXiang Zeng, Xingyi Zhang, Linqiang Pan
Publication date: 27 May 2010
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://idus.us.es/xmlui/handle/11441/38898
Recommendations
- Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources
- Uniform solutions to SAT and subset sum by spiking neural P systems
- Solving SUBSET SUM by spiking neural P systems with pre-computed resources
- Solving QSAT in sublinear depth
- Solving NP-complete problems by spiking neural P systems with budding rules
Learning and adaptive systems in artificial intelligence (68T05) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)
Cites Work
- Computing with membranes
- Membrane computing. An introduction.
- Title not available (Why is that?)
- Spiking neural P systems
- Two-Processor Scheduling with Start-Times and Deadlines
- Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources
- Solving SUBSET SUM by spiking neural P systems with pre-computed resources
- Solving Numerical NP-Complete Problems with Spiking Neural P Systems
- Spiking neural P systems with extended rules: universality and languages
- Title not available (Why is that?)
- Small Semi-weakly Universal Turing Machines
- Title not available (Why is that?)
Cited In (33)
- An error-tolerant serial binary full-adder via a spiking neural P system using HP/LP basic neurons
- An improved universal spiking neural P system with generalized use of rules
- Accelerated execution of P systems with active membranes to solve the \(N\)-queens problem
- A bibliometric analysis of membrane computing (1998--2019)
- On Some Classes of Sequential Spiking Neural P Systems
- Spiking Neural P Systems with Thresholds
- Matrix representation and simulation algorithm of spiking neural P systems with structural plasticity
- P systems attacking hard problems beyond NP: a survey
- Simple neural-like P systems for maximal independent set selection
- Universality of spiking neural P systems with polarizations working in sequential mode induced by maximum spike number
- Homogeneous spiking neural P systems working in sequential mode induced by maximum spike number
- Spiking neural P systems: main ideas and results
- Communication P systems on simplicial complexes with applications in cluster analysis
- Solving a PSPACE-complete problem with cP systems
- Spiking neural P systems with rules on synapses and anti-spikes
- Computational completeness of spiking neural P systems with inhibitory rules for generating string languages
- Cell-like P systems with evolutional symport/antiport rules and membrane creation
- Turing universality of sequential spiking neural P systems with polarizations as number accepting devices
- A linear time complexity of breadth-first search using P system with membrane division
- Spiking neural P systems with a flat maximally parallel use of rules
- On the power of families of recognizer spiking neural P systems
- Spiking neural P systems with rules on synapses
- Spiking neural P systems with polarizations and astrocytes
- RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
- On string languages generated by sequential spiking neural P systems based on the number of spikes
- Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources
- P systems with evolutional symport and membrane creation rules solving QSAT
- Selected Topics in Computational Complexity of Membrane Systems
- Reversible spiking neural P systems
- An improved dynamic membrane evolutionary algorithm for constrained engineering design problems
- The power of synchronizing rules in membrane computing
- Homogeneous spiking neural P systems with structural plasticity
- Spiking neural P systems with a generalized use of rules
This page was built for publication: Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q974099)