An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method. - Saeid Taghavi Afshord; Yuri Pottosin; Bahman Arasteh (Discret. Appl. Math., 2015)