An Asynchronous P System Using Branch and Bound for the Satisfiability Problem. - Yuki Jimen; Akihiro Fujiwara (CANDAR, 2017)

An asynchronous P system with branch and bound for solving the satisfiability problem. - Yuki Jimen; Akihiro Fujiwara (Int. J. Netw. Comput., 2018)