Satisfiability models and algorithms for circuit delay computation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luís Guerra e Silva, João P. Marques Silva, Luis Miguel Silveira, Karem A. Sakallah. Satisfiability models and algorithms for circuit delay computation. ACM Trans. Design Autom. Electr. Syst., 7(1):137-158, 2002. [doi]

This author has not been identified. Look up 'Luís Guerra e Silva' in GoogleThis author has not been identified. Look up 'João P. Marques Silva' in GoogleThis author has not been identified. Look up 'Luis Miguel Silveira' in GoogleThis author has not been identified. Look up 'Karem A. Sakallah' in Google

runs on WebDSL