Geodesic
On complexity of boolean matrix polynomials solving
Matematičeskoe modelirovanie, Tome 27 (2015) no. 7, pp. 25-30

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

The paper investigates the problems of Boolean matrix polynomials solving and evaluating the number of the solvents. A method for matrix polynomial roots finding via solving the system of Boolean algebraic equations and well-known NP-complete problem “Satisfiability” is proposed. A comparison of techniques for solving Boolean matrix polynomials is provided. The paper shows results of computer experiments.
Mots-clés : matrix polynomials
Keywords: Boolean polynomials, Boolean Gröbner base, system of Boolean algebraic equations, SAT-solver. 
@article{MM_2015_27_7_a4,
     author = {F. B. Burtyka},
     title = {On complexity of boolean matrix polynomials solving},
     journal = {Matemati\v{c}eskoe modelirovanie},
     pages = {25--30},
     publisher = {mathdoc},
     volume = {27},
     number = {7},
     year = {2015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MM_2015_27_7_a4/}
}
TY  - JOUR
AU  - F. B. Burtyka
TI  - On complexity of boolean matrix polynomials solving
JO  - Matematičeskoe modelirovanie
PY  - 2015
SP  - 25
EP  - 30
VL  - 27
IS  - 7
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MM_2015_27_7_a4/
LA  - ru
ID  - MM_2015_27_7_a4
ER  - 
%0 Journal Article
%A F. B. Burtyka
%T On complexity of boolean matrix polynomials solving
%J Matematičeskoe modelirovanie
%D 2015
%P 25-30
%V 27
%N 7
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MM_2015_27_7_a4/
%G ru
%F MM_2015_27_7_a4
F. B. Burtyka. On complexity of boolean matrix polynomials solving. Matematičeskoe modelirovanie, Tome 27 (2015) no. 7, pp. 25-30. http://geodesic.mathdoc.fr/item/MM_2015_27_7_a4/