An optimization technique for dual-output domino logic.

Sumant Ramprasad Ibrahim N. Hajj Farid N. Najm

Published in: ISLPED (1999)

Keyphrases

logic programming
classical logic
neural network
modal logic
artificial neural networks
input data
automated reasoning
database
real time
databases
information systems
image sequences
primal dual
multi valued
predicate logic
desired output