Artem Pavlenko, Alexander Semenov, Vladimir Ulyantsev. Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis. In Paul Kaufmann, Pedro A. Castillo, editors, Applications of Evolutionary Computation - 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings. Volume 11454 of Lecture Notes in Computer Science, pages 237-253, Springer, 2019. [doi]
Abstract is missing.