Login / Signup
Chih-Fan Lai
Publication Activity (10 Years)
Years Active: 2010-2010
Publications (10 Years): 0
</>
Publications
</>
Chih-Fan Lai
,
Jie-Hong R. Jiang
,
Kuo-Hua Wang
BooM: a decision procedure for boolean matching with abstraction and dynamic learning.
DAC
(2010)
Chih-Fan Lai
,
Jie-Hong R. Jiang
,
Kuo-Hua Wang
Boolean matching of function vectors with strengthened learning.
ICCAD
(2010)