Login / Signup
Exact two-level minimization of hazard-free logic with multiple-input changes.
Steven M. Nowick
David L. Dill
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1995)
Keyphrases
</>
multiple input
dynamic logic
multiple output
objective function
modal logic
classical logic
digital circuits
automated reasoning
predicate logic
regularization term
neural network
multi valued
brute force
exact solution
proof theory
logic programming
information systems