A technique for Improving dual-output domino logic.

Sumant Ramprasad Ibrahim N. Hajj Farid N. Najm

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2002)

Keyphrases

automated reasoning
classical logic
logic programming
modal logic
dynamic logic
neural network
information retrieval
website
database systems
primal dual
sound and complete axiomatization