1. Blais, E., Weinstein, A., Yoshida, Y., 2012. Partially sym-metric functions are efficiently isomorphism-testable. Proc. IEEE 53rd Annual Symp. on Foundation of Com-puter Science, p.551–560. https://doi.org/10.1109/FOCS.2012.53
2. Boole, G., 1854. Investigation of the Lows of Thought. New York, USA.
3. Cheng, D.I., Sadowska, M., 1993. Verifying equivalence of functions with unknown input correspondence. IEEE Trans. Comput., 41(6): 81–85. https://doi.org/10.1109/EDAC.1993.386496
4. Falkowski, B.J., Kannurao, S., 1999. Identification of Boolean symmetries in spectral domain of Reed-Muller transform. Electron. Lett., 35(16): 1315–1316. https://doi.org/10.1049/el:19990955
5. Hurst, S.L., 1977. Detection of symmetries in combinatorial functions by spectral means. IEE J. Electron. Circ. Syst., 1(5): 173–180. https://doi.org/10.1049/ij-ecs:19770026