Matrosova A.Yu., Nikolaeva E.A., Provkin V.A., Goshin G.G., Tychinskiy V.Z. «Using SAT-solvers for deriving patch circuits that mask nodes faults and trojan circuits injections» // Izvestiya vuzov. Fizika 2020. №12 C.114-123
Doronin A. E., Kalgin K. V. «Construction of cryptographic boolean functions using SAT-solvers» // Applied Discrete Mathematics. Supplement 2020. №13 C.129-132
