Cover Image

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

Saved in:

Bibliographic Details
Date:	2015
Main Authors:	S. V. Listrovoj, A. V. Sidorenko
Format:	Article
Language:	English
Published:	2015
Series:	Electronic modeling
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000800300
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Solution Counting for CSP and SAT with Large Tree-Width
by: Favier, A., et al.
Published: (2011)

Метод решения k-SAT-задачи сведением ее к задаче о покрытии
by: Листровой, С.В., et al.
Published: (2015)

The minimum vertex cover problem solving algorithm for an arbitrary graph with using the systems of quadratic equations
by: S. V. Listrovoj, et al.
Published: (2015)

Quadratic Problem on Combinations Set and Method of its Solution
by: A. M. Nahirna
Published: (2019)

Iterative reduction of the Dirichlet problem to the Neumann problem
by: Pankov, A. A., et al.
Published: (1995)

The magnetic field of underground 330 kV cable line and ways for its reduction
by: A. A. Shcherba, et al.
Published: (2019)

On the reduction in the problem of in-flight geometric calibration
by: A. I. Tkachenko
Published: (2017)

Problem of Fuzzy portfolio optimization and its solution with application of forecasting methods
by: Zaychenko, Y., et al.
Published: (2016)

Problem of fuzzy portfolio optimization and its solution with application of forecasting methods
by: Y. Zaychenko, et al.
Published: (2016)

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, et al.
Published: (2017)

Effective agrobacterium-mediated transformation of chicory (Cichorium intybus L.) with mycobacterium tuberculosis antigene ЕSAT6
by: N. A. Matveeva, et al.
Published: (2011)

The problem of flooding and analysis of the ways of its solution
by: Petrochenko, Oleksiy V.
Published: (2023)

Multicriteria power engineering problems and fuzzy set based methods of their solution
by: Ya. Ekel, et al.
Published: (2014)

Multicriteria power engineering problems and fuzzy set based methods of their solution
by: Ekel, P.Yа., et al.
Published: (2014)

Reoptimization of 2-objective minimum vertex cover problem
by: N. A. Dreichan
Published: (2015)

Free prolin content in Arabidopsis thaliana Cat2 and Sat3 knockout mutants under salt stress
by: N. O. Didenko, et al.
Published: (2016)

Method of enumeration of maximum independent sets in nonoriented graphs
by: S. V. Listrovoj, et al.
Published: (2017)

Additional reductions in the K-constrained modified KP hierarchy
by: O. Chvartatskyi, et al.
Published: (2014)

Additional reductions in the K-constrained modified KP hierarchy
by: Chvartatskyi, O.I., et al.
Published: (2014)

Actual state and problems of the Earth sedimentary cover investigations
by: D. P. Khrushchov
Published: (2018)

A remark on covering of compact Kдhler manifolds and applications
by: V. V. Hung, et al.
Published: (2021)

On the problem of B₀-reduction for Navier-Stokes-Maxwell equations
by: Britov, N.A
Published: (1999)

The method of determining the largest maximal independent sets of vertices of undirected graph
by: S. V. Listrovoj, et al.
Published: (2017)

Nonlinear problems of heat radiating body with thermal thin cover
by: Berezovsky, A.A., et al.
Published: (1999)

Obtaining the Local Extremum in the Problem of Covering the Fields by the Circles of Variable Radius
by: Komyak, V.V., et al.
Published: (2016)

Obtaining the Local Extremum in the Problem of Covering the Fields by the Circles of Variable Radius
by: V. V. Komyak, et al.
Published: (2016)

Approach to automated structuring of educational resources based on the method of recursive reduction
by: S. I. Haiko, et al.
Published: (2021)

The Mathematical Safe Problem and Its Solution (Part 2)
by: S. L. Kryvyi, et al.
Published: (2021)

The Mathematical Safe Problem and Its Solution (Part 1)
by: S. L. Kryvyi, et al.
Published: (2020)

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

On a Method for Cover Images Steganalysis
by: I. V. Shvidchenko
Published: (2013)

Optimization problems for the maximum k-plex
by: P. I. Stetsiuk, et al.
Published: (2022)

Reduction theorems for the problem of stability of critical equilibria of impulsive differential equations
by: A. I. Dvirnyj, et al.
Published: (2013)

Exact Solutions of Nonlinear Partial Differential Equations by the Method of Group Foliation Reduction
by: Anco, S.C., et al.
Published: (2011)

Exact Solutions of Nonlinear Partial Differential Equations by the Method of Group Foliation Reduction
by: Anco, S.C., et al.
Published: (2011)

Numerical method for the solution of linear boundary-value problem for integrodifferential equations based on spline approximations
by: E. A. Bakirova, et al.
Published: (2019)

Approximate method for the solution of the generalized Dirichlet problem
by: Lopushanskaya, G. P., et al.
Published: (1994)

Reduction of enrgy consumption in the processing of starch media by method of discret-pulsed energy input
by: A. N. Obodovich, et al.
Published: (2015)

The Problem of Disposal and Destruction of Sewage Sludge and its Solutions (Review)
by: I. M. Karp, et al.
Published: (2017)

Numerical method for the solution of linear boundary-value problem for integrodifferential equations based on spline approximations
by: Iskakova, N. B., et al.
Published: (2019)