BooM: a decision procedure for boolean matching with abstraction and dynamic learning. - Chih-Fan Lai; Jie-Hong R. Jiang; Kuo-Hua Wang (DAC, 2010)

Boolean matching of function vectors with strengthened learning. - Chih-Fan Lai; Jie-Hong R. Jiang; Kuo-Hua Wang (ICCAD, 2010)