Modelling 3-Coloring of Outerplanar Graphs via Incremental Satisfiability.
Guillermo De Ita LunaCristina López-RamírezMeliza Contreras GonzálezPublished in: Electron. Notes Discret. Math. (2018)
Keyphrases
- graph mining
- graph patterns
- graph isomorphism
- graph databases
- frequent subgraphs
- planar graphs
- subgraph mining
- pattern mining
- subgraph isomorphism
- graph structures
- graph data
- structured data
- frequent itemset mining
- computational complexity
- graph structure
- link prediction
- graph search
- maximal frequent
- graph model
- undirected graph
- community detection
- weighted graph
- phase transition
- connected components
- binary images
- np complete
- social networks