Reducing Multi-Valued Algebraic Operations to Binary.

Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton

Browse the full DATE paper archive.