Solving SAT with P systems with anti-membranes.

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

Keyphrases

management system
distributed systems
complex systems
artificial intelligence
objective function
learning systems
orders of magnitude
variable ordering