On Distributed Solution to SAT by Membrane Computing.

Henry N. Adorna Linqiang Pan Bosheng Song

Published in: Int. J. Comput. Commun. Control (2018)

Keyphrases

optimal solution
distributed environment
linear equations
neural network
genetic algorithm
cooperative
distributed systems
multi agent
search algorithm
evolutionary algorithm
closed form
search strategies
temporal logic
integer programming
backtracking algorithm
distributed constraint satisfaction