TY  - JOUR
AU  - V. S. Fedorova
TI  - On the complexity of the satisfiability problem for a~system of functional Boolean equations
JO  - Diskretnyj analiz i issledovanie operacij
PY  - 2013
SP  - 84
EP  - 100
VL  - 20
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DA_2013_20_3_a5/
LA  - ru
ID  - DA_2013_20_3_a5
ER  -