Using Contrapositive Law in an Implication Graph to Identify Logic Redundancies.
Kunal K. DaveVishwani D. AgrawalMichael L. BushnellPublished in: VLSI Design (2005)
Keyphrases
- graph representation
- random walk
- directed graph
- graph model
- graph matching
- bipartite graph
- graph theory
- graph structure
- weighted graph
- densely connected
- data sets
- logical framework
- graph theoretic
- logic programming
- link analysis
- modal logic
- connected components
- multi agent systems
- graph based algorithm
- bayesian networks