Circuit-Width Based Heuristic for Boolean Reasoning.
Guanghui LiXiaowei LiPublished in: Asian Test Symposium (2004)
Keyphrases
- high speed
- reasoning systems
- real valued
- optimal solution
- simulated annealing
- reasoning process
- dynamic programming
- tabu search
- spatial reasoning
- analog circuits
- circuit design
- truth table
- knowledge representation
- analog vlsi
- model based reasoning
- search algorithm
- legal reasoning
- uncertain information
- automated reasoning
- solution quality
- analogical reasoning
- bayesian networks
- rule based reasoning
- reasoning mechanisms
- electronic circuits
- boolean functions