Technology mapping for domino logic.

Min Zhao Sachin S. Sapatnekar

Published in: ICCAD (1998)

Keyphrases

case study
multi valued
classical logic
key technologies
logic programming
real time
data processing
modal logic
computational properties
technological advances
web technologies
cost effective
data management
knowledge representation
bayesian networks
social networks
real world
neural network