Multi-level logic minimization using implicit don't cares.
Karen A. BartlettRobert K. BraytonGary D. HachtelReily M. JacobyChristopher R. MorrisonRichard L. RudellAlberto L. Sangiovanni-VincentelliAlbert R. WangPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1988)
Keyphrases
- modal logic
- logic programming
- objective function
- computational properties
- classical logic
- sound and complete axiomatization
- delay insensitive
- proof theory
- epistemic logic
- defeasible logic
- artificial neural networks
- image processing
- machine learning
- logic programs
- multiscale
- automated reasoning
- artificial intelligence
- information retrieval
- nonmonotonic logics
- predicate logic
- deontic logic
- data mining
- real world
- databases