Testing first-order properties for subclasses of sparse graphs
Zdenek DvorákDaniel KrálRobin ThomasPublished in: CoRR (2011)
Keyphrases
- higher order
- desirable properties
- algebraic structures
- graph properties
- graph theory
- directed graph
- high dimensional
- first order logic
- graph theoretic
- neural network
- structural properties
- sparse representation
- graph structure
- test cases
- graph representation
- test suite
- software testing
- sparse data
- graph clustering
- topological properties