Login / Signup
Chung-Ming Chan
Publication Activity (10 Years)
Years Active: 2007-2009
Publications (10 Years): 0
</>
Publications
</>
Kuo-Hua Wang
,
Chung-Ming Chan
,
Jung-Chang Liu
Simulation and SAT-based Boolean matching for large Boolean networks.
DAC
(2009)
Kuo-Hua Wang
,
Chung-Ming Chan
Incremental learning approach and SAT model for Boolean matching with don't cares.
ICCAD
(2007)