Variation tolerant logic mapping for crossbar array nano architectures.

Cihan Tunc Mehdi Baradaran Tahoori

Published in: ASP-DAC (2010)

Keyphrases

multi valued
modal logic
scheduling algorithm
nano scale
sound and complete axiomatization
data sets
artificial intelligence
automated reasoning
deontic logic
databases
database systems
classical logic
computational properties
proof theory