Зображення обкладинки

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

Збережено в:

Бібліографічні деталі
Дата:	2015
Автори:	S. V. Listrovoj, A. V. Sidorenko
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2015
Назва видання:	Electronic modeling
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000800300
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

Solution Counting for CSP and SAT with Large Tree-Width
за авторством: Favier, A., та інші
Опубліковано: (2011)

Метод решения k-SAT-задачи сведением ее к задаче о покрытии
за авторством: Листровой, С.В., та інші
Опубліковано: (2015)

The minimum vertex cover problem solving algorithm for an arbitrary graph with using the systems of quadratic equations
за авторством: S. V. Listrovoj, та інші
Опубліковано: (2015)

Quadratic Problem on Combinations Set and Method of its Solution
за авторством: A. M. Nahirna
Опубліковано: (2019)

Iterative reduction of the Dirichlet problem to the Neumann problem
за авторством: Pankov, A. A., та інші
Опубліковано: (1995)

The Canonical Reduction Method for Symplectic Structures and Its Applications
за авторством: Prykarpatsky, A.K., та інші
Опубліковано: (2001)

The magnetic field of underground 330 kV cable line and ways for its reduction
за авторством: A. A. Shcherba, та інші
Опубліковано: (2019)

On the reduction in the problem of in-flight geometric calibration
за авторством: A. I. Tkachenko
Опубліковано: (2017)

Problem of fuzzy portfolio optimization and its solution with application of forecasting methods
за авторством: Y. Zaychenko, та інші
Опубліковано: (2016)

Problem of Fuzzy portfolio optimization and its solution with application of forecasting methods
за авторством: Zaychenko, Y., та інші
Опубліковано: (2016)

Rank approach to the solution of problems of linear and nonlinear boolean programming for planning and management in distributed computing systems
за авторством: S. V. Listrovoj, та інші
Опубліковано: (2017)

The problem of flooding and analysis of the ways of its solution
за авторством: Petrochenko, Oleksiy V.
Опубліковано: (2023)

Effective agrobacterium-mediated transformation of chicory (Cichorium intybus L.) with mycobacterium tuberculosis antigene ЕSAT6
за авторством: N. A. Matveeva, та інші
Опубліковано: (2011)

Multicriteria power engineering problems and fuzzy set based methods of their solution
за авторством: Ya. Ekel, та інші
Опубліковано: (2014)

Multicriteria power engineering problems and fuzzy set based methods of their solution
за авторством: Ekel, P.Yа., та інші
Опубліковано: (2014)

Reoptimization of 2-objective minimum vertex cover problem
за авторством: N. A. Dreichan
Опубліковано: (2015)

Free prolin content in Arabidopsis thaliana Cat2 and Sat3 knockout mutants under salt stress
за авторством: N. O. Didenko, та інші
Опубліковано: (2016)

Method of enumeration of maximum independent sets in nonoriented graphs
за авторством: S. V. Listrovoj, та інші
Опубліковано: (2017)

Actual state and problems of the Earth sedimentary cover investigations
за авторством: D. P. Khrushchov
Опубліковано: (2018)

Additional reductions in the K-constrained modified KP hierarchy
за авторством: O. Chvartatskyi, та інші
Опубліковано: (2014)

Additional reductions in the K-constrained modified KP hierarchy
за авторством: Chvartatskyi, O.I., та інші
Опубліковано: (2014)

On the problem of B₀-reduction for Navier-Stokes-Maxwell equations
за авторством: Britov, N.A
Опубліковано: (1999)

The method of determining the largest maximal independent sets of vertices of undirected graph
за авторством: S. V. Listrovoj, та інші
Опубліковано: (2017)

Obtaining the Local Extremum in the Problem of Covering the Fields by the Circles of Variable Radius
за авторством: Komyak, V.V., та інші
Опубліковано: (2016)

A remark on covering of compact Kдhler manifolds and applications
за авторством: V. V. Hung, та інші
Опубліковано: (2021)

Nonlinear problems of heat radiating body with thermal thin cover
за авторством: Berezovsky, A.A., та інші
Опубліковано: (1999)

Obtaining the Local Extremum in the Problem of Covering the Fields by the Circles of Variable Radius
за авторством: V. V. Komyak, та інші
Опубліковано: (2016)

Approach to automated structuring of educational resources based on the method of recursive reduction
за авторством: S. I. Haiko, та інші
Опубліковано: (2021)

The Mathematical Safe Problem and Its Solution (Part 2)
за авторством: S. L. Kryvyi, та інші
Опубліковано: (2021)

The Mathematical Safe Problem and Its Solution (Part 1)
за авторством: S. L. Kryvyi, та інші
Опубліковано: (2020)

On a Method for Cover Images Steganalysis
за авторством: I. V. Shvidchenko
Опубліковано: (2013)

Reduction theorems for the problem of stability of critical equilibria of impulsive differential equations
за авторством: A. I. Dvirnyj, та інші
Опубліковано: (2013)

Numerical method for the solution of linear boundary-value problem for integrodifferential equations based on spline approximations
за авторством: E. A. Bakirova, та інші
Опубліковано: (2019)

Optimization problems for the maximum k-plex
за авторством: P. I. Stetsiuk, та інші
Опубліковано: (2022)

Эффективная агробактериальная трансформация растений цикория (Cichorium intybus L.) вектором с геном туберкулезного антигена ЕSAT6
за авторством: Матвеева, Н.А., та інші
Опубліковано: (2011)

Approximate method for the solution of the generalized Dirichlet problem
за авторством: Lopushanskaya, G. P., та інші
Опубліковано: (1994)

Exact Solutions of Nonlinear Partial Differential Equations by the Method of Group Foliation Reduction
за авторством: Anco, S.C., та інші
Опубліковано: (2011)

Exact Solutions of Nonlinear Partial Differential Equations by the Method of Group Foliation Reduction
за авторством: Anco, S.C., та інші
Опубліковано: (2011)

Reduction of enrgy consumption in the processing of starch media by method of discret-pulsed energy input
за авторством: A. N. Obodovich, та інші
Опубліковано: (2015)

The Problem of Disposal and Destruction of Sewage Sludge and its Solutions (Review)
за авторством: I. M. Karp, та інші
Опубліковано: (2017)