著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) Jimen Yuki and Fujiwara Akihiro,An asynchronous P system with branch and bound for solving the satisfiability problem,International Journal of Networking and Computing,2185-2839,IJNC編集委員会,2018,8,2,141-152,https://cir.nii.ac.jp/crid/1390282763020857344,https://doi.org/10.15803/ijnc.8.2_141