机译:通过预计算资源使神经P系统饱和的Sat和3s均匀解决方案
Computational Biomodelling Laboratory, Department of Information Technologies, Abo Akademi University, Turku 20520, Finland;
membrane computing; pre-computed resourses; SAT; 3-sat; spiking neural p systems;
机译:通过向神经P系统添加预先计算的资源来确定QSAT和Q3SAT的确定性解决方案
机译:尖峰神经P系统对SAT和子集总和的统一解决方案
机译:通过添加预计算资源来刺激神经P系统来解决子集总和
机译:3-SAT阈值上限的解的非均匀选择
机译:2和3卫星函数的渐近枚举。
机译:抗尖峰加权尖峰神经P系统的普遍性
机译:用预先计算资源加入神经p系统确定QsaT和Q3saT的解决方案