A multi-clause dynamic deduction algorithm based on standard contradiction separation rule.
Feng CaoYang XuJun LiuShuwei ChenJianBing YiPublished in: Inf. Sci. (2021)
Keyphrases
- dynamic programming
- k means
- times faster
- learning algorithm
- improved algorithm
- matching algorithm
- high accuracy
- experimental evaluation
- significant improvement
- np hard
- search space
- computational complexity
- objective function
- detection algorithm
- optimization algorithm
- theoretical analysis
- data mining
- optimal solution
- clustering method
- simulated annealing
- worst case
- preprocessing
- expectation maximization
- dynamic environments
- logic programs
- segmentation algorithm
- search algorithm
- classification algorithm
- probabilistic model
- computational cost