Balanced Ternary Logic Gates with Memristors.
Moin DiwanZidu LiGregor SchieleBhaskar ChoubeyPublished in: ICECS 2022 (2022)
Keyphrases
- logic circuits
- modal logic
- artificial intelligence
- classical logic
- logic programming
- multi valued
- genetic algorithm
- highly skewed
- asynchronous circuits
- automated reasoning
- knowledge representation
- defeasible logic
- formal theory
- evolutionary algorithm
- proof theory
- database
- logic synthesis
- sound and complete axiomatization