Login / Signup
Multi-level Logic Simplification Using Don't Cares and Filters.
Alexander Saldanha
Albert R. Wang
Robert K. Brayton
Alberto L. Sangiovanni-Vincentelli
Published in:
DAC (1989)
Keyphrases
</>
modal logic
logic programming
classical logic
digital filters
preprocessing
multiresolution
morphological filters
order statistics
computational properties
defeasible logic
set theory
natural deduction
proof theory