Sciweavers

Share
DAC
2010
ACM

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

9 years 6 months ago
BooM: a decision procedure for boolean matching with abstraction and dynamic learning
Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang
Added 15 Aug 2010
Updated 15 Aug 2010
Type Conference
Year 2010
Where DAC
Authors Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang
Comments (0)
books