A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules

Orellana-Martín, D; Valencia-Cabrera, L; Pérez-Jiménez, MJ

Orellana-Martín, D (通讯作者),Univ Seville, Dept Comp Sci & Artificial Intelligence, Res Grp Nat Comp, Avda Reina Mercedes s-n, Seville 41012, Spain.

INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2023; ():

Abstract

In the framework of membrane computing, several interesting results concerning frontiers of efficiency between the complexity classes P and NP have be......

Full Text Link