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

Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang

Browse the full DAC paper archive.