ILP formulations for variation/defect-tolerant logic mapping on crossbar nano-architectures.
Masoud ZamaniHanieh MirzaeiMehdi Baradaran TahooriPublished in: ACM J. Emerg. Technol. Comput. Syst. (2013)
Keyphrases
- inductive logic programming
- multi valued
- logic programming
- nano scale
- classical logic
- modal logic
- epistemic logic
- optimization methods
- background knowledge
- predicate logic
- automated reasoning
- asynchronous circuits
- deontic logic
- computational properties
- probabilistic logic
- subgroup discovery
- databases
- response time
- feature extraction
- machine learning
- neural network