A robust functional ECO engine by SAT proof minimization and interpolation techniques - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bo-Han Wu, Chun-Ju Yang, Chung-Yang Huang, Jie-Hong Roland Jiang. A robust functional ECO engine by SAT proof minimization and interpolation techniques. In 2010 International Conference on Computer-Aided Design (ICCAD 10), November 7-11, 2010, San Jose, CA, USA. pages 729-734, IEEE, 2010. [doi]

This author has not been identified. Look up 'Bo-Han Wu' in GoogleThis author has not been identified. Look up 'Chun-Ju Yang' in GoogleThis author has not been identified. Look up 'Chung-Yang Huang' in GoogleThis author has not been identified. Look up 'Jie-Hong Roland Jiang' in Google

runs on WebDSL