Exact two-level minimization of hazard-free logic with multiple-input changes.

Steven M. Nowick David L. Dill

Published 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