Minimization of Exclusive or and Logical Equivalence Switching Circuits.

Amar Mukhopadhyay Greg Schmitz

Published in: IEEE Trans. Computers (1970)

Keyphrases

tunnel diode
logical equivalence
np complete
objective function
logic circuits
default theories
schema mappings
proof theory
building blocks
data exchange