C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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