Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources

From MaRDI portal
Publication:974099

DOI10.1016/j.tcs.2010.01.019zbMath1208.68172OpenAlexW1996796733MaRDI QIDQ974099

Tseren-Onolt Ishdorj, Xiangxiang Zeng, Xingyi Zhang, Alberto Leporati, Lin-Qiang 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




Related Items (32)

Computational completeness of spiking neural P systems with inhibitory rules for generating string languagesSpiking neural P systems with a flat maximally parallel use of rulesSpiking neural P systems with rules on synapses and anti-spikesReversible spiking neural P systemsAccelerated execution of P systems with active membranes to solve the \(N\)-queens problemThe power of synchronizing rules in membrane computingUniversality of spiking neural P systems with polarizations working in sequential mode induced by maximum spike numberA bibliometric analysis of membrane computing (1998--2019)Turing universality of sequential spiking neural P systems with polarizations as number accepting devicesSpiking neural P systems with polarizations and astrocytesSpiking neural P systems: main ideas and resultsSpiking neural P systems with rules on synapsesSimple Neural-Like P Systems for Maximal Independent Set SelectionOn Some Classes of Sequential Spiking Neural P SystemsCell-like P systems with evolutional symport/antiport rules and membrane creationA linear time complexity of breadth-first search using P system with membrane divisionSpiking Neural P Systems with ThresholdsSpiking Neural P Systems with a Generalized Use of RulesSolving a PSPACE-complete problem with cP systemsHomogeneous spiking neural P systems with structural plasticityAn error-tolerant serial binary full-adder via a spiking neural P system using HP/LP basic neuronsAn improved universal spiking neural P system with generalized use of rulesSelected Topics in Computational Complexity of Membrane SystemsRESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICSOn string languages generated by sequential spiking neural P systems based on the number of spikesCommunication P systems on simplicial complexes with applications in cluster analysisON THE POWER OF FAMILIES OF RECOGNIZER SPIKING NEURAL P SYSTEMSMatrix representation and simulation algorithm of spiking neural P systems with structural plasticityP systems attacking hard problems beyond NP: a surveyAn improved dynamic membrane evolutionary algorithm for constrained engineering design problemsP systems with evolutional symport and membrane creation rules solving QSATHomogeneous spiking neural P systems working in sequential mode induced by maximum spike number



Cites Work


This page was built for publication: Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources