Geodesic
On construction of efficient algorithms for solving systems of polynomial Boolean equations by testing a~part of variables
Diskretnaya Matematika, Tome 23 (2011) no. 4, pp. 66-79

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

@article{DM_2011_23_4_a4,
     author = {A. S. Meluzov},
     title = {On construction of efficient algorithms for solving systems of polynomial {Boolean} equations by testing a~part of variables},
     journal = {Diskretnaya Matematika},
     pages = {66--79},
     publisher = {mathdoc},
     volume = {23},
     number = {4},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_2011_23_4_a4/}
}
TY  - JOUR
AU  - A. S. Meluzov
TI  - On construction of efficient algorithms for solving systems of polynomial Boolean equations by testing a~part of variables
JO  - Diskretnaya Matematika
PY  - 2011
SP  - 66
EP  - 79
VL  - 23
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DM_2011_23_4_a4/
LA  - ru
ID  - DM_2011_23_4_a4
ER  - 
%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
A. S. Meluzov. On construction of efficient algorithms for solving systems of polynomial Boolean equations by testing a~part of variables. Diskretnaya Matematika, Tome 23 (2011) no. 4, pp. 66-79. http://geodesic.mathdoc.fr/item/DM_2011_23_4_a4/