Conference paper
A privacy-protecting coupon system
Liqun Chen, Matthias Enzmann, et al.
FC 2005
A simple algorithm which uses an indexed temporary table to perform reduction of operator strength in strongly connected regions is presented. Several extensions, including linear function test replacement, are discussed. These algorithms should fit well into an integrated package of local optimization algorithms. © 1977, ACM. All rights reserved.
Liqun Chen, Matthias Enzmann, et al.
FC 2005
Michael D. Moffitt
ICCAD 2009
S.M. Sadjadi, S. Chen, et al.
TAPIA 2009
Yvonne Anne Pignolet, Stefan Schmid, et al.
Discrete Mathematics and Theoretical Computer Science