%0 Journal Article
%A V. S. Fedorova
%T On the complexity of the satisfiability problem for a~system of functional Boolean equations
%J Diskretnyj analiz i issledovanie operacij
%D 2013
%P 84-100
%V 20
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DA_2013_20_3_a5/
%G ru
%F DA_2013_20_3_a5