A new simulation-based property checking algorithm based on partitioned alternative search space traversal.
Qingwei WuMichael S. HsiaoPublished in: HLDVT (2005)
Keyphrases
- search space
- dynamic programming
- optimal solution
- learning algorithm
- objective function
- k means
- matching algorithm
- detection algorithm
- preprocessing
- optimization algorithm
- solution space
- np hard
- tree structure
- times faster
- search strategy
- worst case
- cost function
- recognition algorithm
- genetic algorithm
- convergence rate
- combinatorial optimization
- simulated annealing
- improved algorithm
- fitness function
- clustering method
- theoretical analysis
- expectation maximization
- data sets
- high accuracy
- computational cost
- computational complexity
- neural network