TY  - JOUR
AU  - A. E. Doronin
AU  - K. V. Kalgin
TI  - Construction of cryptographic Boolean functions using SAT-solvers
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2020
SP  - 129
EP  - 132
IS  - 13
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2020_13_a37/
LA  - ru
ID  - PDMA_2020_13_a37
ER  -