Chung-Ming Chan

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Kuo-Hua Wang, Chung-Ming Chan, Jung-Chang Liu: Simulation and SAT-based Boolean matching for large Boolean networks. DAC 2009: 396-401

2007

1 Kuo-Hua Wang, Chung-Ming Chan: Incremental learning approach and SAT model for Boolean matching with don't cares. ICCAD 2007: 234-239

	2009
2		Kuo-Hua Wang, Chung-Ming Chan, Jung-Chang Liu: Simulation and SAT-based Boolean matching for large Boolean networks. DAC 2009: 396-401
	2007
1		Kuo-Hua Wang, Chung-Ming Chan: Incremental learning approach and SAT model for Boolean matching with don't cares. ICCAD 2007: 234-239

Coauthor Index

1 Jung-Chang Liu [2]

2 Kuo-Hua Wang [1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page