An asynchronous P system with a DPLL algorithm for solving SAT.
Takuya NoguchiAkihiro FujiwaraPublished in: Int. J. Netw. Comput. (2022)
Keyphrases
- detection algorithm
- dynamic programming
- k means
- gradient projection
- propositional satisfiability
- optimization algorithm
- learning algorithm
- computational complexity
- cost function
- search algorithm
- simulated annealing
- segmentation algorithm
- optimal solution
- objective function
- sat solvers
- genetic algorithm
- preprocessing
- np hard
- worst case
- expectation maximization
- combinatorial optimization