%0 Journal Article
%A A. A. Semenov
%T The use of backdoors to estimate the hardness of propositional proofs and cryptographic attacks
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2023
%P 87-95
%N 16
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2023_16_a22/
%G ru
%F PDMA_2023_16_a22