Regular graphs and the spectra of two-variable logic with counting
Eryk KopczynskiTony TanPublished in: CoRR (2013)
Keyphrases
- graph matching
- graph theory
- classical logic
- logic programming
- modal logic
- graph clustering
- graph theoretic
- multi valued
- bipartite graph
- graph representation
- logical formulas
- principal component analysis
- computational properties
- random graphs
- automated reasoning
- graph partitioning
- spanning tree
- graph model
- graph mining
- directed graph