On the Verification of the Correctness of a Subgraph Construction Algorithm.
Lucas BöltzViorica Sofronie-StokkermansHannes FreyPublished in: CoRR (2023)
Keyphrases
- detection algorithm
- search space
- dynamic programming
- experimental evaluation
- computational cost
- theoretical analysis
- improved algorithm
- learning algorithm
- convergence rate
- optimization algorithm
- computationally efficient
- high accuracy
- worst case
- np hard
- significant improvement
- evolutionary algorithm
- objective function
- simulated annealing
- cost function
- optimal solution
- matching algorithm
- model checking
- similarity measure