Publications

Found 2 results
Filters: Keyword is equivalence classes  [Clear All Filters]
1997
C. - C. Tsai and Marek-Sadowska, M., “Boolean functions classification via fixed polarity Reed-Muller forms”, Computers, IEEE Transactions on, vol. 46, pp. 173 -186, 1997.
1993
D. I. Cheng and Marek-Sadowska, M., “Verifying equivalence of functions with unknown input correspondence”, in Design Automation, 1993, with the European Event in ASIC Design. Proceedings. [4th] European Conference on, 1993, pp. 81 -85.