Xquasher: A Tool for Efficient Computation of Multiple Linear Expressions. - Arfaee, Arash; Irturk, Ali; Laptev, Nikolay; Fallah, Farzan; Kastner, Ryan (DAC: Annual ACM/IEEE Design Automation Conference, 2009)