Chung-Ming Chan

According to our database¹, Chung-Ming Chan authored at least 2 papers between 2007 and 2009.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2009

Simulation and SAT-based Boolean matching for large Boolean networks.

[BibT_eX]

[DOI]

Proceedings of the 46th Design Automation Conference, 2009

2007

Incremental learning approach and SAT model for Boolean matching with don't cares.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007