TY  - JOUR
AU  - A. A. Semenov
TI  - The use of backdoors to estimate the hardness of propositional proofs and cryptographic attacks
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2023
SP  - 87
EP  - 95
IS  - 16
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2023_16_a22/
LA  - ru
ID  - PDMA_2023_16_a22
ER  -