An Algorithm Solving SAT Problem Based on Splitting Rule and Extension Rule.

Published in: J. Inf. Process. Syst. (2017)

Keyphrases

dynamic programming
learning algorithm
optimal solution
np hard
simulated annealing
computational complexity
randomly generated
knowledge base
association rules
decision makers
sat problem