CNF and DNF succinct graph encodings.
Bireswar DasPatrick ScharpfeneckerJacobo ToránPublished in: Inf. Comput. (2017)
Keyphrases
- boolean functions
- disjunctive normal form
- graph model
- graph representation
- uniform distribution
- learning algorithm
- random walk
- graph structure
- connected components
- structured data
- sat solving
- spanning tree
- bounded treewidth
- membership queries
- orders of magnitude
- directed acyclic graph
- directed graph
- graph databases
- pac learning
- sat instances
- boolean formula
- graph theory
- sat solvers