Login / Signup
Logic optimization and equivalence checking by implication analysis.
Wolfgang Kunz
Dominik Stoffel
Prem R. Menon
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1997)
Keyphrases
</>
quantitative analysis
data analysis
real time
genetic algorithm
artificial intelligence
image analysis
optimization method
combinatorial optimization
databases
objective function
statistical analysis
global optimization
multi valued