Set-cover-based critical implications selection to improvesat-based bounded model checking: extended abstract.
Mahmoud ElbayoumiMichael S. HsiaoMustafa Y. ElNainayPublished in: ACM Great Lakes Symposium on VLSI (2013)
Keyphrases
- extended abstract
- set cover
- bounded model checking
- network flow
- approximation algorithms
- model checking
- greedy algorithm
- greedy heuristics
- np hard
- formal verification
- solution space
- linear temporal logic
- temporal logic
- greedy heuristic
- high dimensional
- computational complexity
- knapsack problem
- linear programming
- simulated annealing
- supervised learning