Automated Verification of Szymanski's Algorithm.
E. Pascal GribomontGuy ZennerPublished in: TACAS (1998)
Keyphrases
- learning algorithm
- detection algorithm
- computational cost
- dynamic programming
- search space
- improved algorithm
- computationally efficient
- preprocessing
- computational complexity
- cost function
- worst case
- optimization algorithm
- recognition algorithm
- optimal solution
- high accuracy
- theoretical analysis
- experimental evaluation
- particle swarm optimization
- np hard
- multi objective
- knowledge base