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:
DAC (1993)
Keyphrases
</>
multi valued
cost function
logic programming
modal logic
sufficient conditions
objective function
graphical models
basis functions
exact solution
brute force
classical logic
penalty function
computational properties
signature recognition
functional programs