An Accurate Interconnection Length Estimation for Computer Logic.
Dirk StroobandtHerwig Van MarckJan Van CampenhoutPublished in: Great Lakes Symposium on VLSI (1996)
Keyphrases
- accurate estimation
- computationally efficient
- logic programming
- estimation accuracy
- high quality
- multi agent systems
- modal logic
- parametric models
- deontic logic
- database
- predicate logic
- computational properties
- multi valued
- automated reasoning
- maximum number
- estimation algorithm
- highly accurate
- computer systems
- expert systems
- case study
- computer vision
- search engine
- machine learning
- databases