Boolean matching using generalized Reed-Muller forms. (1994)

by C C Tsai, M Marek-Sadowska
Venue:In Proc. Design Automation Conf.,