Logic Mapping in Crossbar-Based Nanoarchitectures.
Wenjing RaoAlex OrailogluRamesh KarriPublished in: IEEE Des. Test Comput. (2009)
Keyphrases
- multi valued
- modal logic
- logic programming
- classical logic
- database
- genetic algorithm
- sound and complete axiomatization
- proof theory
- artificial intelligence
- databases
- response time
- multi agent systems
- search algorithm
- scheduling algorithm
- computer vision
- logical framework
- formal language
- abductive reasoning
- real time