Cover Image

Reoptimization of 2-criteria satisfiability problem

Saved in:

Bibliographic Details
Date:	2018
Main Authors:	V. O. Mykhailiuk, T. I. Cheprasova, N. A. Dreichan
Format:	Article
Language:	English
Published:	2018
Series:	Kompiuternaia matematyka
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0001047798
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

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

Algebraic Approach to Reoptimization of Combinatorial Optimization Problems and Related Questions of Computational Complexity Evaluation
by: V. O. Mykhailiuk
Published: (2017)

Hardness of reoptimization of the problem of calculating the chromatic number of a graph with a given set of optimal solutions
by: V. A. Mikhajljuk
Published: (2016)

Satisfiability of bright formulas
by: Denisov, A. S., et al.
Published: (2007)

Satisfiability For Symbolic Verification in VRS
by: A. Letichevsky, et al.
Published: (2013)

Satisfiability For Symbolic Verification in VRS
by: Letichevsky, A., et al.
Published: (2013)

Groups satisfying certain rank conditions
by: Dixon, M.R., et al.
Published: (2016)

Groups satisfying certain rank conditions
by: M. R. Dixon, et al.
Published: (2016)

On associative algebras satisfying the identity x⁵=0
by: Shestakov, I., et al.
Published: (2004)

Groups satisfying certain rank conditions
by: Dixon, Martyn R., et al.
Published: (2016)

T-satisfiability test problem for the VL1 logical language of the VRS system
by: Timofeev, V.G.
Published: (2015)

On Artinian rings satisfying the Engel condition
by: Evstaf’ev, R. Yu., et al.
Published: (2006)

On generalized derivations satisfying certain identities
by: Albaş, E., et al.
Published: (2011)

On generalized derivations satisfying certain identities
by: Albaş, E.
Published: (2011)

On harmonic functions satisfying nonlocal boundary conditions
by: Eydelman, S. D., et al.
Published: (1994)

Approximate solution of a boundary value problem for controllable systems satisfying a rank condition
by: V. V. Grushkovskaja, et al.
Published: (2014)

On linear homogeneous almost periodic systems that satisfy the Favard condition
by: Tkachenko, V. I., et al.
Published: (1998)

On associative algebras satisfying the identity \(x^5 = 0\)
by: Shestakov, Ivan, et al.
Published: (2018)

A two-point problem for systems satisfying a controllability condition with second order Lie brackets
by: V. V. Grushkovskaja, et al.
Published: (2015)

The generalized Hermite polynomials, their properties, and the differential equation which they satisfy
by: V. L. Makarov
Published: (2020)

On pairs of unbounded self-adjoint operators satisfying an algebraic relation
by: Ostrovskii, V. L., et al.
Published: (1993)

The structure of infinite dimensional linear groups satisfying certain finiteness conditions
by: Jose M. Munoz-Escolano, et al.
Published: (2009)

Groups satisfying the condition of weak minimality for subgroups of derived length two
by: Onishchuk, V. A., et al.
Published: (1994)

Virtual Reference Services as a Tool to Satisfy the Information Needs of Users
by: O. Postelzhuk
Published: (2015)

Estimate for a Rearrangement of a Function Satisfying the “Reverse Jensen Inequality”
by: Korenovskii, A. A., et al.
Published: (2005)

Groups satisfying a weak minimum condition for non-Abelian subgroups
by: Zaitsev, D. I., et al.
Published: (1971)

On sharp conditions for the global stability of a difference equation satisfying the Yorke condition
by: Nenya, O. I., et al.
Published: (2008)

Invariant solutions of a system of Euler equations that satisfy the Rankine—Hugoniot conditions
by: I. I. Yuryk
Published: (2018)

Invariant solutions of a system of Euler equations that satisfy the Rankine—Hugoniot conditions
by: Yuryk, I.I.
Published: (2018)

Construction of solutions of the Laplace equation satisfying the no-slip condition on the segment of the sphere
by: Ya. Barniak
Published: (2013)

Boundary extension of mappings that satisfy the Poletsky inverse inequality in terms of prime ends
by: Ye. O. Sevostianov
Published: (2021)

On the convergence of functions from a Sobolev space satisfying special integral estimates
by: Kovalevskii, A. A., et al.
Published: (2006)

Criteria of Similarity of Dynamic Problems of Combinatorial Optimization
by: N. K. Tymofiieva
Published: (2019)

Boundary extension of mappings that satisfy the Poletsky inverse inequality in terms of prime ends
by: Sevost’yanov , E. A., et al.
Published: (2021)

Nested scalar convolutions in multi-criteria problems
by: Voronin, A., et al.
Published: (2024)

Self-improvement of summability factors of functions satisfying the reverse Hölder inequality in limit cases
by: Korenovskii, A. A., et al.
Published: (2010)

The world experience of the institution of trust to the quality of satisfying the people&#039;s needs
by: S. H. Batazhok
Published: (2011)

Pseudostarlike, pseudoconvex and close-to-pseudoconvex dirichlet series satisfying differential equations with exponential coefficients
by: O. M. Holovata, et al.
Published: (2018)

Exactness criteria for SDP-relaxations of quadratic extremum problems
by: O. A. Berezovskij
Published: (2016)

Criteria for delineation and tools for the development of problem rural areas
by: I. Z. Storonianska, et al.
Published: (2021)