Reasoning about Real Circuits.

Published in: TPHOLs (1994)

Keyphrases

real world
real life
genetic algorithm
high speed
data sets
artificial intelligence
three dimensional
objective function
spatial reasoning
digital circuits