Fully reusing clause deduction algorithm based on standard contradiction separation rule.
Peiyao LiuYang XuJun LiuShuwei ChenFeng CaoGuanfeng WuPublished in: Inf. Sci. (2023)
Keyphrases
- optimization algorithm
- detection algorithm
- computational complexity
- worst case
- experimental evaluation
- improved algorithm
- high accuracy
- significant improvement
- learning algorithm
- preprocessing
- search space
- cost function
- np hard
- dynamic programming
- data mining
- linear programming
- objective function
- clustering method
- matching algorithm
- multi objective
- input data
- expectation maximization
- computationally efficient
- similarity measure
- tree structure
- k means