Exact two-level minimization of hazard-free logic with multiple-input changes.
Steven M. NowickDavid L. DillPublished in: ICCAD (1992)
Keyphrases
- multiple input
- dynamic logic
- multiple output
- modal logic
- objective function
- classical logic
- information systems
- risk assessment
- predicate logic
- convex functions
- decision making
- logic programming
- brute force
- nonmonotonic logics
- natural deduction
- exact solution
- asynchronous circuits
- multi valued
- automated reasoning
- data sets
- regularization term
- theorem prover
- case study
- artificial intelligence
- neural network