Boolean Matching Using Generalized Reed-Muller Forms (1994)

by C C Tsai, M Marek-Sadowska
Venue:in Proc. of DAC'94