Circuit-based Boolean Reasoning.
Andreas KuehlmannMalay K. GanaiViresh ParuthiPublished in: DAC (2001)
Keyphrases
- high speed
- real valued
- knowledge base
- reasoning process
- automated reasoning
- meta level
- reasoning systems
- qualitative reasoning
- neural network
- reasoning engine
- uncertain information
- boolean functions
- artificial intelligence
- probabilistic reasoning
- knowledge representation
- bayesian networks
- legal reasoning
- causal reasoning
- analogical reasoning
- database
- electronic circuits
- delay insensitive
- analog vlsi