A Heuristic Boolean NPN Equivalent Matching Verification Method Based on Shannon Decomposition.
Juling ZhangWenqiang GuoGuowu YangYixin ZhuXiaoyi LvPublished in: IEEE Access (2022)
Keyphrases
- verification method
- model checking
- temporal logic
- matching algorithm
- image matching
- shape decomposition
- pattern matching
- tabu search
- graph matching
- information theory
- dynamic programming
- template matching
- real valued
- optimal solution
- decomposition algorithm
- simulated annealing
- data sets
- matching process
- decision trees
- heuristic solution
- ontology matching
- search algorithm
- np hard