What You Always Wanted to Know About Clause Graph Resolution.
Norbert EisingerPublished in: CADE (1986)
Keyphrases
- random walk
- refinement operators
- clause learning
- high resolution
- graph matching
- weighted graph
- graph representation
- graph model
- graph clustering
- structured data
- directed graph
- bipartite graph
- graph structure
- graph theory
- graph theoretic
- directed acyclic graph
- propositional logic
- neural network
- graphical models
- multiresolution
- search space