Efficient algorithms for exact two-level hazard-free logic minimization.
Hans M. JacobsonChris J. MyersPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2002)
Keyphrases
- logic programming
- risk assessment
- classical logic
- natural deduction
- asynchronous circuits
- brute force
- automated reasoning
- multi valued
- digital circuits
- sound and complete axiomatization
- information systems
- deductive reasoning
- abductive reasoning
- defeasible logic
- exact solution
- regularization term
- modal logic
- search algorithm