Login / Signup
ESPRESSO-SIGNATURE: a new exact minimizer for logic functions.
Patrick C. McGeer
Jagesh V. Sanghavi
Robert K. Brayton
Alberto L. Sangiovanni-Vincentelli
Published in:
IEEE Trans. Very Large Scale Integr. Syst. (1993)
Keyphrases
</>
multi valued
cost function
artificial intelligence
sufficient conditions
database
automated reasoning
image processing
denoising
logic programs
level set
basis functions
uniform distribution
exact solution
epistemic logic
signature recognition