Complementary resistive switch based stateful logic operations using material implication.
Yuanfan YangJimson MathewDhiraj K. PradhanMarco OttaviSalvatore PontarelliPublished in: DATE (2014)
Keyphrases
- multi valued
- sound and complete axiomatization
- high speed
- functional dependencies
- logic programming
- logical implication
- artificial intelligence
- asynchronous circuits
- data sets
- automated reasoning
- logical operations
- formal theory
- horn clauses
- genetic algorithm
- set theory
- finite element
- information systems
- learning algorithm