P systems with active membranes for SAT using clause completion.

Kelvin C. Buño Henry N. Adorna

Published in: J. Membr. Comput. (2020)

Keyphrases

complex systems
computer systems
search algorithm
distributed systems
learning systems
data sets
information systems
management system
satisfiability problem