EXMIN: a simplification algorithm for exclusive-OR-sum-of-products expressions for multiple-valued input two-valued output functions | IEEE Conference Publication | IEEE Xplore