The use of associative information processing for constructing algorithms for solving systems of Boolean equations
Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 50 (2010) no. 11, pp. 2028-2044

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

Possibilities of the application of dedicated processors based on the use of associative memory for solving systems of Boolean equations is considered. An algorithm for solving systems of Boolean equations using associative dedicated processors is proposed. Classes of systems of Boolean equations that can be efficiently solved by this algorithm are found. Subexponential estimates of the expectation of the computational complexity of the proposed algorithm for solving systems of equations belonging to these classes are obtained.
@article{ZVMMF_2010_50_11_a14,
     author = {A. S. Meluzov},
     title = {The use of associative information processing for constructing algorithms for solving systems of {Boolean} equations},
     journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
     pages = {2028--2044},
     publisher = {mathdoc},
     volume = {50},
     number = {11},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZVMMF_2010_50_11_a14/}
}
TY  - JOUR
AU  - A. S. Meluzov
TI  - The use of associative information processing for constructing algorithms for solving systems of Boolean equations
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 2010
SP  - 2028
EP  - 2044
VL  - 50
IS  - 11
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_2010_50_11_a14/
LA  - ru
ID  - ZVMMF_2010_50_11_a14
ER  - 
%0 Journal Article
%A A. S. Meluzov
%T The use of associative information processing for constructing algorithms for solving systems of Boolean equations
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 2010
%P 2028-2044
%V 50
%N 11
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_2010_50_11_a14/
%G ru
%F ZVMMF_2010_50_11_a14
A. S. Meluzov. The use of associative information processing for constructing algorithms for solving systems of Boolean equations. Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 50 (2010) no. 11, pp. 2028-2044. http://geodesic.mathdoc.fr/item/ZVMMF_2010_50_11_a14/