1. Lecture Notes in Computer Science;A Bar-On,2016
2. Biere, A., Fazekas, K., Fleury, M., Heisinger, M.: CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling entering the SAT Competition 2020. In: Proceedings of SAT Competition 2020 – Solver and Benchmark Descriptions. Department of Computer Science Report Series b, vol. B-2020-1, pp. 51–53. University of Helsinki (2020)
3. Biryukov, A., Khovratovich, D., Perrin, L.: Multiset-algebraic cryptanalysis of reduced Kuznyechik, Khazad, and secret SPNs. IACR Trans. Symm. Cryptol. 2016(2), 226–247 (2016)
4. Boura, C., Canteaut, A.: On the influence of the algebraic degree of $$F^{-1}$$ on the algebraic degree of G $$\circ $$ F. IEEE Trans. Inf. Theor. 59(1), 691–702 (2013)
5. Lecture Notes in Computer Science;C Boura,2016