Maximum independent sets on transitive graphs and their applications in testing and CAD.

Dimitrios Kagaris Spyros Tragoudas

Published in: ICCAD (1997)

Keyphrases

computer aided
graph representation
series parallel
computer graphics
graph matching
graph theory
databases
computer aided design
design process
directed graph
transitive closure
definite clause
graph structures
graph theoretic
graph databases
user interface
image segmentation
computer vision
data mining