Buchumschlag

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
Hauptverfasser:	S. V. Listrovoj, A. V. Sidorenko
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2015
Schriftenreihe:	Electronic modeling
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000800300
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

Solution Counting for CSP and SAT with Large Tree-Width
von: Favier, A., et al.
Veröffentlicht: (2011)

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

Quadratic Problem on Combinations Set and Method of its Solution
von: A. M. Nahirna
Veröffentlicht: (2019)

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

On the reduction in the problem of in-flight geometric calibration
von: A. I. Tkachenko
Veröffentlicht: (2017)

Rank approach to the solution of problems of linear and nonlinear boolean programming for planning and management in distributed computing systems
von: S. V. Listrovoj, et al.
Veröffentlicht: (2017)

Problem of Fuzzy portfolio optimization and its solution with application of forecasting methods
von: Zaychenko, Y., et al.
Veröffentlicht: (2016)

Problem of fuzzy portfolio optimization and its solution with application of forecasting methods
von: Y. Zaychenko, et al.
Veröffentlicht: (2016)

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

Additional reductions in the K-constrained modified KP hierarchy
von: O. Chvartatskyi, et al.
Veröffentlicht: (2014)

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

The problem of flooding and analysis of the ways of its solution
von: Petrochenko, Oleksiy V.
Veröffentlicht: (2023)

Multicriteria power engineering problems and fuzzy set based methods of their solution
von: Ya. Ekel, et al.
Veröffentlicht: (2014)

Reoptimization of 2-objective minimum vertex cover problem
von: N. A. Dreichan
Veröffentlicht: (2015)

A remark on covering of compact Kдhler manifolds and applications
von: V. V. Hung, et al.
Veröffentlicht: (2021)

Actual state and problems of the Earth sedimentary cover investigations
von: D. P. Khrushchov
Veröffentlicht: (2018)

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

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

Method of enumeration of maximum independent sets in nonoriented graphs
von: S. V. Listrovoj, et al.
Veröffentlicht: (2017)

The Mathematical Safe Problem and Its Solution (Part 1)
von: S. L. Kryvyi, et al.
Veröffentlicht: (2020)

The Mathematical Safe Problem and Its Solution (Part 2)
von: S. L. Kryvyi, et al.
Veröffentlicht: (2021)

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

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

The method of determining the largest maximal independent sets of vertices of undirected graph
von: S. V. Listrovoj, et al.
Veröffentlicht: (2017)

Reduction theorems for the problem of stability of critical equilibria of impulsive differential equations
von: A. I. Dvirnyj, et al.
Veröffentlicht: (2013)

Optimization problems for the maximum k-plex
von: P. I. Stetsiuk, et al.
Veröffentlicht: (2022)

Industrial sanitation and methods for noise reduction
von: V. V. Safonov, et al.
Veröffentlicht: (2018)

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

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

The Problem of Disposal and Destruction of Sewage Sludge and its Solutions (Review)
von: I. M. Karp, et al.
Veröffentlicht: (2017)

On a Method for Cover Images Steganalysis
von: I. V. Shvidchenko
Veröffentlicht: (2013)

Price Disparity Problem and its Solutions in the Agro-industrial Complex (AIC)
von: K. V. Bondarevska
Veröffentlicht: (2014)

Problems compatibility of complex analytics of scenarios and theoretical basis of its solution
von: V. R. Senchenko
Veröffentlicht: (2021)

Lie – Bäcklund symmetry, reduction and solutions of nonlinear evolution equations
von: V. Zheshut, et al.
Veröffentlicht: (2022)

The use of the variational method of homogeneous solutions in an axisymmetric elasticity problem for a finite cylinder under its weight
von: V. F. Chekurin, et al.
Veröffentlicht: (2021)

Reduction of the elasticity problem in inhomogeneous rectangular domain to integral-differential equations
von: B. M. Kalyniak
Veröffentlicht: (2012)

Best reduction of matrices to the block triangular form for hierarchical decomposition problems
von: Ju. N. Bazilevich
Veröffentlicht: (2017)

Problem of Model Order Reduction for Linear Large-Scale Time-Invariant System
von: V. F. Gubarev
Veröffentlicht: (2016)

Exact and approximate solutions of the spectral problems for the differential Schrödinger operator with a polynomial potential in Rk, k≥2
von: V. L. Makarov
Veröffentlicht: (2018)

Current state of the problem of child abandonment in Ukraine and ways of its solution
von: L. I. Sliusar
Veröffentlicht: (2014)