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

Agustín Riscos-Núñez, Luis Valencia-Cabrera. From SAT to SAT-UNSAT using P systems with dissolution rules. J. Membr. Comput., 4(2):97-106, 2022. [doi]

Abstract

Abstract is missing.