Implicit enumeration of strongly connected components.
Aiguo XiePeter A. BeerelPublished in: ICCAD (1999)
Keyphrases
- implicit enumeration
- strongly connected components
- dna computing
- shortest path
- connected components
- knapsack problem
- dynamic programming
- argumentation semantics
- max sat
- closed contours
- variable ordering
- branch and bound
- binary images
- dna sequences
- linear programming problems
- logic programming
- argumentation frameworks
- orders of magnitude
- computer vision