Fourier decision diagrams on finite non-Abelian groups with preprocessing

Abstract

This paper introduces a method for optimization of Fourier decision diagrams representations of discrete functions based on the preprocessing of the represented functions. Fourier decision diagrams are defined for matrix-valued-function on non-Abelian groups. Their application to number-valued functions is provided through a simple preprocessing of the represented functions.