Encoding multi-valued functions for symmetry. - Ko-Lung Yuan; Chien-Yen Kuo; Jie-Hong R. Jiang; Meng-Yen Li (ICCAD, 2013)