Ko-Lung Yuan, Chien-Yen Kuo, Jie-Hong R. Jiang, Meng-Yen Li. Encoding multi-valued functions for symmetry. In Jörg Henkel, editor, The IEEE/ACM International Conference on Computer-Aided Design, ICCAD'13, San Jose, CA, USA, November 18-21, 2013. pages 771-778, IEEE/ACM, 2013. [doi]
Abstract is missing.