SAT-Based Algorithm of Verification for Port Order Fault.
Ming ShaoGuanghui LiXiaowei LiPublished in: Asian Test Symposium (2003)
Keyphrases
- cost function
- search space
- learning algorithm
- computational cost
- computational complexity
- objective function
- segmentation algorithm
- detection algorithm
- np hard
- optimization algorithm
- preprocessing
- k means
- probabilistic model
- linear programming
- dynamic programming
- matching algorithm
- verification method
- simulated annealing
- worst case
- experimental evaluation
- active learning
- optimal solution
- similarity measure