Incremental learning approach and SAT model for Boolean matching with don t cares - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kuo-Hua Wang, Chung-Ming Chan. Incremental learning approach and SAT model for Boolean matching with don t cares. In Georges G. E. Gielen, editor, 2007 International Conference on Computer-Aided Design (ICCAD 07), November 5-8, 2007, San Jose, CA, USA. pages 234-239, IEEE, 2007. [doi]

This author has not been identified. Look up 'Kuo-Hua Wang' in GoogleThis author has not been identified. Look up 'Chung-Ming Chan' in Google

runs on WebDSL