F. B. Burtyka, “On complexity of boolean matrix polynomials solving”, Mat. Model., 27:7 (2015), 25

Matematicheskoe modelirovanie

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive
	Impact factor

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Mat. Model.:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

Matematicheskoe modelirovanie, 2015, Volume 27, Number 7, Pages 25–30 (Mi mm3618)

This article is cited in 1 scientific paper (total in 1 paper)

On complexity of boolean matrix polynomials solving

F. B. Burtyka

Southern Federal University, Rostov-on-Don

Full-text PDF (259 kB) Citations (1)

References:

PDF

HTML

Abstract: 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.

Keywords: matrix polynomials, Boolean polynomials, Boolean Gröbner base, system of Boolean algebraic equations, SAT-solver.

Funding agency	Grant number
Russian Foundation for Basic Research	15-07-00597-a 13-01-00668-a

Received: 30.03.2015

Bibliographic databases:

Document Type: Article

UDC: 510.5+519.61+004.021

Language: Russian

Citation: F. B. Burtyka, “On complexity of boolean matrix polynomials solving”, Mat. Model., 27:7 (2015), 25–30

Citation in format AMSBIB

\Bibitem{Bur15}

\by F.~B.~Burtyka

\paper On complexity of boolean matrix polynomials solving

\jour Mat. Model.

\yr 2015

\vol 27

\issue 7

\pages 25--30

\mathnet{http://mi.mathnet.ru/mm3618}

\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=3545722}

\elib{https://elibrary.ru/item.asp?id=24850043}

Linking options:

https://www.mathnet.ru/eng/mm3618

https://www.mathnet.ru/eng/mm/v27/i7/p25

This publication is cited in the following 1 articles:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Registration to the website

Logotypes