A Method to Find Linear Decompositions for Incompletely Specified Index Generation Functions Using Difference Matrix
Tsutomu Sasao, Yuta Urano, Yukihiro Iguchi · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · 2014
This paper shows a method to find a linear transformation that reduces the number of variables to represent a given incompletely specified index generation function. It first generates the difference matrix, and then finds a minimal set of variables using a covering table. Linear transformations are used to modify the covering table to produce a smaller solution. Reduction of the difference matrix is also considered.