Revisiting Graph Width Measures for CNF-Encodings.
Romain WallonStefan MengelPublished in: J. Artif. Intell. Res. (2020)
Keyphrases
- graph theory
- random walk
- graph representation
- orders of magnitude
- graph matching
- boolean functions
- graph structure
- structured data
- connected components
- directed graph
- directed acyclic graph
- graph model
- graph partitioning
- graph connectivity
- sat instances
- knowledge compilation
- graph theoretic
- spanning tree
- weighted graph