Substantiation of the hypothesis on four colors by S. V. Listrovoj, E. S. Listrovaja

Get full text

The minimum vertex cover problem solving algorithm for an arbitrary graph with using the systems of quadratic equations by S. V. Listrovoj, S. V. Motsnyj

Get full text

Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering by S. V. Listrovoj, A. V. Sidorenko

Get full text

Rank approach to the solution of problems of linear and nonlinear boolean programming for planning and management in distributed computing systems by S. V. Listrovoj, E. S. Listrovaja, M. S. Kurtsev

Get full text

Methods and models of scheduling the assignment of packages of tasks in the grid system cluster by S. V. Listrovoj, E. S. Listrovaja, M. S. Kurtsev

Get full text

The method of determining the largest maximal independent sets of vertices of undirected graph by S. V. Listrovoj, A. V. Sidorenko, E. S. Listrovaja

Get full text

Method of enumeration of maximum independent sets in nonoriented graphs by S. V. Listrovoj, A. V. Sidorenko, E. S. Listrovaja

Get full text