On Distributed Solution to SAT by Membrane Computing

Henry N. Adorna, Linqiang Pan, Bosheng Song. On Distributed Solution to SAT by Membrane Computing. Int. J. Comput. Commun. Control, 13(3):303-320, 2018. [doi]

Abstract

Abstract is missing.