Synthesis of Approximate Logic on Memristive Crossbars.
Salman Anwar KhokharAmad Ul HassenPublished in: NEWCAS (2019)
Keyphrases
- logic synthesis
- logic programming
- modal logic
- program synthesis
- piecewise linear
- multi valued
- classical logic
- functional programs
- logic circuits
- lower bound
- sound and complete axiomatization
- artificial intelligence
- dynamic logic
- asynchronous circuits
- digital circuits
- nonmonotonic logics
- defeasible logic
- automated reasoning
- least squares
- query language
- search algorithm
- data structure
- reinforcement learning
- knowledge base