FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets.
Shaofan LiuJie LuoPublished in: AISC (2018)
Keyphrases
- cost function
- learning algorithm
- matching algorithm
- detection algorithm
- preprocessing
- optimization algorithm
- input data
- dynamic programming
- worst case
- computational cost
- memory efficient
- tree structure
- segmentation algorithm
- theoretical analysis
- experimental evaluation
- similarity measure
- optimal solution
- search space
- k means
- np hard
- probabilistic model
- particle swarm optimization
- computationally efficient
- significant improvement
- linear programming
- simulated annealing
- clustering method
- metaheuristic
- ant colony optimization
- objective function
- classification algorithm
- times faster
- highly efficient
- data sets