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]

Authors

Agustín Riscos-Núñez

This author has not been identified. Look up 'Agustín Riscos-Núñez' in Google

Luis Valencia-Cabrera

This author has not been identified. Look up 'Luis Valencia-Cabrera' in Google