Chih-Fan Lai

According to our database¹, Chih-Fan Lai authored at least 2 papers in 2010.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2010

Boolean matching of function vectors with strengthened learning.

[BibT_eX]

[DOI]

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

BooM: a decision procedure for boolean matching with abstraction and dynamic learning.

[BibT_eX]

[DOI]

Proceedings of the 47th Design Automation Conference, 2010