Intermediate variable encodings that enable multiplexor-based implementations of two operand addition | IEEE Conference Publication | IEEE Xplore