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

✍ Scribed by Tseren-Onolt Ishdorj; Alberto Leporati; Linqiang Pan; Xiangxiang Zeng; Xingyi Zhang

• Book ID: 108281611
• Publisher: Elsevier Science
• Year: 2010
• Tongue: English
• Weight: 949 KB
• Volume: 411
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/j.tcs.2010.01.019