Interpolant generation without constructing resolution graph.
Chih-Jen HsuShao-Lun HuangChi-An WuChung-Yang HuangPublished in: ICCAD (2009)
Keyphrases
- graph representation
- graph theory
- high resolution
- random walk
- graph structure
- generation process
- graph theoretic
- graph model
- weighted graph
- consequence finding
- data sets
- directed graph
- structured data
- neural network
- graph matching
- connected components
- low resolution
- np complete
- multiresolution
- minimum spanning tree
- graph search
- stable set