An Algorithmic Meta-Theorem for Graph Modification to Planarity and FOL.
Fedor V. FominPetr A. GolovachGiannos StamoulisDimitrios M. ThilikosPublished in: CoRR (2021)
Keyphrases
- graph transformation
- first order logic
- graph structure
- structured data
- graph representation
- knowledge representation
- theorem proving
- graph mining
- graph model
- weighted graph
- graph theory
- graph matching
- meta level
- random walk
- bipartite graph
- graph clustering
- graph search
- dependency graph
- partitioning algorithm
- graph based algorithm