A New Viewpoint on Two-Level Logic Minimization.
Olivier CoudertJean Christophe MadreHenri FraissePublished in: DAC (1993)
Keyphrases
- viewpoint
- objective function
- d objects
- asynchronous circuits
- geometric interpretation
- defeasible logic
- active object recognition
- proof theory
- lighting conditions
- modal logic
- multi valued
- logical framework
- classical logic
- probability theory
- formal theory
- nonmonotonic logics
- automated reasoning
- data sets
- multiple views
- image restoration
- expert systems
- bayesian networks
- neural network