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)

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

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)

Iterative reduction of the Dirichlet problem to the Neumann problem
von: Pankov, A. A., et al.
Veröffentlicht: (1995)

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)

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)

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)

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

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)

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

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

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

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

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

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

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

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

On the problem of B₀-reduction for Navier-Stokes-Maxwell equations
von: Britov, N.A
Veröffentlicht: (1999)

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

Nonlinear problems of heat radiating body with thermal thin cover
von: Berezovsky, A.A., et al.
Veröffentlicht: (1999)

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

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)

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

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

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

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

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

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

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

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

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

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)

Approximate method for the solution of the generalized Dirichlet problem
von: Lopushanskaya, G. P., et al.
Veröffentlicht: (1994)

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)

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

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