Defect-Tolerant Logic Mapping for Nanocrossbars Based on Two-Dimensional Sort.

Sezer Gören H. Fatih Ugurdag Okan Palaz

Published in: ISCIS (2010)

Keyphrases

three dimensional
multi valued
modal logic
predicate logic
multi dimensional
logic programming
defect detection
classical logic
automated reasoning
sound and complete axiomatization
dynamic logic
formal theory
nonmonotonic logics
database
search algorithm
metadata
data mining
databases