Stem boo$ (all stems)

3 papers:

DAC-2010-LaiJW #abstraction #learning #named

BooM: a decision procedure for boolean matching with abstraction and dynamic learning (CFL, JHRJ, KHW), pp. 499–504.

CIKM-2010-PavlovGB #hybrid #named #scalability

BagBoo: a scalable hybrid bagging-the-boosting model (DYP, AG, CAB), pp. 1897–1900.

CAV-2001-JohannsenB #design #named

BooStER: Speeding Up RTL Property Checking of Digital Designs by Word-Level Abstarction (PJ), pp. 373–377.