Partitioning of logic graphs: A theoretical analysis of pin reduction.
Robert B. Hitchcock Sr.Published in: DAC (1970)
Keyphrases
- theoretical analysis
- graph partitioning
- spectral graph
- numerical simulations
- classical logic
- multi valued
- directed graph
- graph theoretic
- partitioning algorithm
- logic programming
- graph matching
- series parallel
- epistemic logic
- defeasible logic
- asynchronous circuits
- complex structures
- neural network
- weighted graph
- graph structure
- graph theory
- modal logic
- digital circuits
- proof theory
- spanning tree
- computational properties
- automated reasoning
- graph representation
- graph databases
- graph mining
- model checking
- query language
- similarity measure
- knowledge base