An Algorithmic Meta-Theorem for Graph Modification to Planarity and FOL.
Fedor V. FominPetr A. GolovachGiannos StamoulisDimitrios M. ThilikosPublished in: ESA (2020)
Keyphrases
- first order logic
- graph transformation
- graph theory
- graph structure
- random walk
- weighted graph
- connected components
- graph theoretic
- graph model
- expert systems
- structured data
- directed graph
- graph matching
- meta level
- graph representation
- machine learning
- stable set
- spanning tree
- graph mining
- directed acyclic graph
- theorem proving
- neural network
- bipartite graph
- object recognition
- markov chain