Revisiting Graph Width Measures for CNF-Encodings.
Stefan MengelRomain WallonPublished in: CoRR (2019)
Keyphrases
- graph connectivity
- graph representation
- directed graph
- random walk
- graph theory
- sat instances
- graph theoretic
- graph databases
- graph mining
- bipartite graph
- graph matching
- boolean functions
- graph model
- connected components
- structured data
- orders of magnitude
- sat solving
- search algorithm
- image segmentation
- weighted graph
- satisfiability problem
- spanning tree