An Asynchronous P System for MAX-SAT. - Junichiro Imatomi; Akihiro Fujiwara (CANDAR, 2016)