On invariant implication relations for removing partial circuits.

Hideyuki Ichihara Kozo Kinoshita Seiji Kajihara

Published in: Systems and Computers in Japan (1997)

Keyphrases

fuzzy relations
high speed
functional dependencies
affine invariant
circuit design
neural network
semantic relations
temporal relations
delay insensitive
spatial relations
horn clauses
digital circuits