Stem alemb$ (all stems)
2 papers:
- OOPSLA-2014-HoltBCO #automation #locality #migration #named
- Alembic: automatic locality extraction via migration (BH, PB, LC, MO), pp. 879–894.
- DAC-2007-HanS #algorithm #named #performance #preprocessor
- Alembic: An Efficient Algorithm for CNF Preprocessing (HH, FS), pp. 582–587.