Geodesic
On the complexity of the satisfiability problem for a~system of functional Boolean equations
Diskretnyj analiz i issledovanie operacij, Tome 20 (2013) no. 3, pp. 84-100

Voir la notice de l'article provenant de la source Math-Net.Ru

Functional Boolean equations and the satisfiability problem for them are considered. The satisfiability problem is the following: is there any solution to the functional equation among Boolean functions? The upper and the lower bounds on the complexity of the satisfiability problem for a system of functional Boolean equations are established. This result shows that it is impossible to solve a system of functional Boolean equations by the method which has much less complexity than the method of direct enumeration. Bibliogr. 10.
Keywords: functional Boolean equation, satisfiability problem, complexity. 
@article{DA_2013_20_3_a5,
     author = {V. S. Fedorova},
     title = {On the complexity of the satisfiability problem for a~system of functional {Boolean} equations},
     journal = {Diskretnyj analiz i issledovanie operacij},
     pages = {84--100},
     publisher = {mathdoc},
     volume = {20},
     number = {3},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DA_2013_20_3_a5/}
}
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  - 
%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
V. S. Fedorova. On the complexity of the satisfiability problem for a~system of functional Boolean equations. Diskretnyj analiz i issledovanie operacij, Tome 20 (2013) no. 3, pp. 84-100. http://geodesic.mathdoc.fr/item/DA_2013_20_3_a5/