An asynchronous P system with branch and bound for solving the satisfiability problem

Yuki Jimen, Akihiro Fujiwara. An asynchronous P system with branch and bound for solving the satisfiability problem. IJNC, 8(2):141-152, 2018. [doi]

Abstract

Abstract is missing.