Radomir S. Stanković, Dejan Milenović and Dragan Janković
Some Remarks and Experiments with Fourier Decision Diagrams on Finite Non-Abelian Groups