Don't-Care-Based Logic Optimization for Threshold Logic.
Yung-Chih ChenLi-Cheng ZhengHao-Ju ChangPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
- logic programming
- modal logic
- predicate logic
- optimization problems
- optimization method
- global optimization
- classical logic
- truth values
- optimization algorithm
- deontic logic
- formal theory
- nonmonotonic logics
- sound and complete axiomatization
- deductive reasoning
- threshold selection
- proof theory
- abductive reasoning
- digital circuits
- neural network
- set theory
- decision support system
- multi objective