Interconnection Length Estimation at Logic-Level.

João Baptista dos Santos Martins Fernando Moraes Ricardo Reis

Published in: SBCCI (2001)

Keyphrases

logic programming
accurate estimation
artificial intelligence
higher level
estimation algorithm
database
data mining
levels of abstraction
maximum number
logical framework
classical logic