%0 Journal Article %A D. V. Ryabokon %T Algorithm for searching prohibitions of Boolean functions %J Prikladnaya Diskretnaya Matematika. Supplement %D 2013 %P 123-125 %N 6 %I mathdoc %U http://geodesic.mathdoc.fr/item/PDMA_2013_6_a55/ %G ru %F PDMA_2013_6_a55