%0 Journal Article
%A A. S. Meluzov
%T On construction of efficient algorithms for solving systems of polynomial Boolean equations by testing a~part of variables
%J Diskretnaya Matematika
%D 2011
%P 66-79
%V 23
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_2011_23_4_a4/
%G ru
%F DM_2011_23_4_a4