Jimen, Yuki, Kyushu Institute of Technology
-
Vol 8, No 2 (2018) - Special Issue on the Fifth International Symposium on Computing and Networking
An asynchronous P system with branch and bound for solving the satisfiability problem
Abstract PDF
ISSN: 2185-2847