An asynchronous P system with a DPLL algorithm for solving a satisfiability problem.

Takuya Noguchi Akihiro Fujiwara

Published in: CANDAR (2021)

Keyphrases

satisfiability problem
np complete
dynamic programming
objective function
computational complexity
stochastic local search
randomly generated
sat problem
simulated annealing
davis putnam