An algorithm to find optimum support-reducing decompositions for index generation functions. - Tsutomu Sasao; Kyu Matsuura; Yukihiro Iguchi (DATE, 2017)