An enhanced cut-points algorithm in formal equivalence verification.
Zurab KhasidashviliJohn MoondanosDaher KaissZiyad HannaPublished in: HLDVT (2001)
Keyphrases
- computational cost
- experimental evaluation
- detection algorithm
- k means
- optimal solution
- preprocessing
- cost function
- dynamic programming
- improved algorithm
- times faster
- matching algorithm
- particle swarm optimization
- convex hull
- search space
- computational complexity
- objective function
- learning algorithm
- distance transform
- verification method
- delaunay triangulation
- maximum flow
- worst case
- np hard
- significant improvement
- evolutionary algorithm
- bayesian networks
- image segmentation