Stem xquasher$ (all stems)
1 papers:
DAC-2009-ArfaeeILFK #linear #multi #named #performance- Xquasher: a tool for efficient computation of multiple linear expressions (AA, AI, NL, FF, RK), pp. 254–257.
DAC-2009-ArfaeeILFK #linear #multi #named #performance