Takuya Noguchi, Akihiro Fujiwara. An asynchronous P system with a DPLL algorithm for solving a satisfiability problem. In Ninth International Symposium on Computing and Networking, CANDAR 2021, Matsue, Japan, November 23-26, 2021. pages 155-161, IEEE, 2021. [doi]
Abstract is missing.