From SAT to SAT-UNSAT using P systems with dissolution rules-MedSci.cn

From SAT to SAT-UNSAT using P systems with dissolution rules

Riscos-Nunez, A; Valencia-Cabrera, L

Riscos-Nunez, A (通讯作者)，Univ Seville, Dept Comp Sci & Artificial Intelligence, Res Grp Nat Comp, Avda Reina Mercedes S-N, Seville 41012, Spain.;Riscos-Nunez, A (通讯作者)，Univ Seville, SCORE Lab, I3US, Seville, Spain.