Revisiting Graph Width Measures for CNF-Encodings.
Stefan MengelRomain WallonPublished in: SAT (2019)
Keyphrases
- graph representation
- graph theory
- random walk
- connected components
- directed graph
- graph connectivity
- graph model
- weighted graph
- graph structure
- bipartite graph
- boolean functions
- directed acyclic graph
- structured data
- spanning tree
- graph partitioning
- sat solving
- quality measures
- orders of magnitude
- graph theoretic
- graph based algorithm
- np complete