A Faster Counterexample Minimization Algorithm Based on Refutation Analysis.
ShengYu ShenYing QinSikun LiPublished in: DATE (2005)
Keyphrases
- experimental evaluation
- times faster
- objective function
- high accuracy
- cost function
- np hard
- optimization algorithm
- computational cost
- preprocessing
- computationally efficient
- detection algorithm
- dynamic programming
- search space
- recognition algorithm
- improved algorithm
- memory efficient
- clustering method
- selection algorithm
- segmentation algorithm
- worst case
- particle swarm optimization
- neural network
- significant improvement
- optimal solution
- expectation maximization
- linear programming
- simulated annealing
- probabilistic model
- k means
- data analysis
- computational complexity
- similarity measure