Babenko L.K., Maro E. A. «Solving the problem of boolean satisfiability for estimating the security of block ciphers magma and present to algebraic cryptanalysis» // Applied Discrete Mathematics. Supplement 2017. №10 C.62-64
Sofronova D.A., Kalgin K.V. «A Compact translator of algorithms into boolean formulas for use in cryptanalysis» // Applied Discrete Mathematics. Supplement 2020. №13 C.135-136
Tkachev A.V., Kalgin K. V. «DPLL-like satisfiability problem solver over the system of anf equations» // Applied Discrete Mathematics. Supplement 2021. №14 C.187-190
