1. Nagayama, S., Sasao, T., Butler, J.T.: An exact optimization method using ZDDs for linear decomposition of symmetric index generation functions. Int. Fed. Comput. Logic J. Logic Appl. 5(9), 1849–1866 (2018)
2. Nagayama, S., Sasao, T., Butler, J.T.: A dynamic programming based method for optimum linear decomposition of index generation functions. In: Proceedings of the 49th International Symposium on Multiple-Valued Logic, pp. 144–149. IEEE, New York (2019)
3. Nagayama, S., Sasao, T., Butler, J.T.: On optimum linear decomposition of symmetric index generation functions. In: Proceedings of the 50th International Symposium on Multiple-Valued Logic. http://dx.doi.org/10.1109/ISMVL49045.2020.00-17, pp. 130–136. IEEE, New York (2020)
4. Posthoff, C., Steinbach, B.: Logic Functions and Equations—Binary Models for Computer Science, 2nd edn. ISBN 978-3-030-02419-2. Springer, Cham (2019)
5. Sasao, T.: Index generation functions: recent developments (invited paper). In: Proceedings of the 41st International Symposium on Multiple-Valued Logic, 2011, pp. 1–9. IEEE, New York (2011)