Substantiation of the hypothesis on four colors

за авторством S. V. Listrovoj, E. S. Listrovaja
Опубліковано 2018

The minimum vertex cover problem solving algorithm for an arbitrary graph with using the systems of quadratic equations

за авторством S. V. Listrovoj, S. V. Motsnyj
Опубліковано 2015

Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering

за авторством S. V. Listrovoj, A. V. Sidorenko
Опубліковано 2015

Rank approach to the solution of problems of linear and nonlinear boolean programming for planning and management in distributed computing systems

за авторством S. V. Listrovoj, E. S. Listrovaja, M. S. Kurtsev
Опубліковано 2017

Methods and models of scheduling the assignment of packages of tasks in the grid system cluster

за авторством S. V. Listrovoj, E. S. Listrovaja, M. S. Kurtsev
Опубліковано 2016

Method of enumeration of maximum independent sets in nonoriented graphs

за авторством S. V. Listrovoj, A. V. Sidorenko, E. S. Listrovaja
Опубліковано 2017

The method of determining the largest maximal independent sets of vertices of undirected graph

за авторством S. V. Listrovoj, A. V. Sidorenko, E. S. Listrovaja
Опубліковано 2017