Reoptimization of 2-criteria satisfiability problem
Gespeichert in:
| Datum: | 2018 |
|---|---|
| Hauptverfasser: | V. O. Mykhailiuk, T. I. Cheprasova, N. A. Dreichan |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
2018
|
| Schriftenreihe: | Kompiuternaia matematyka |
| Online Zugang: | http://jnas.nbuv.gov.ua/article/UJRN-0001047798 |
| 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
Reoptimization of 2-objective minimum vertex cover problem
von: N. A. Dreichan
Veröffentlicht: (2015)
von: N. A. Dreichan
Veröffentlicht: (2015)
Algebraic Approach to Reoptimization of Combinatorial Optimization Problems and Related Questions of Computational Complexity Evaluation
von: V. O. Mykhailiuk
Veröffentlicht: (2017)
von: V. O. Mykhailiuk
Veröffentlicht: (2017)
Hardness of reoptimization of the problem of calculating the chromatic number of a graph with a given set of optimal solutions
von: V. A. Mikhajljuk
Veröffentlicht: (2016)
von: V. A. Mikhajljuk
Veröffentlicht: (2016)
Satisfiability of bright formulas
von: Denisov, A. S., et al.
Veröffentlicht: (2007)
von: Denisov, A. S., et al.
Veröffentlicht: (2007)
Satisfiability For Symbolic Verification in VRS
von: A. Letichevsky, et al.
Veröffentlicht: (2013)
von: A. Letichevsky, et al.
Veröffentlicht: (2013)
Satisfiability For Symbolic Verification in VRS
von: Letichevsky, A., et al.
Veröffentlicht: (2013)
von: Letichevsky, A., et al.
Veröffentlicht: (2013)
Groups satisfying certain rank conditions
von: Dixon, M.R., et al.
Veröffentlicht: (2016)
von: Dixon, M.R., et al.
Veröffentlicht: (2016)
Groups satisfying certain rank conditions
von: M. R. Dixon, et al.
Veröffentlicht: (2016)
von: M. R. Dixon, et al.
Veröffentlicht: (2016)
Groups satisfying certain rank conditions
von: Dixon, Martyn R., et al.
Veröffentlicht: (2016)
von: Dixon, Martyn R., et al.
Veröffentlicht: (2016)
On associative algebras satisfying the identity x⁵=0
von: Shestakov, I., et al.
Veröffentlicht: (2004)
von: Shestakov, I., et al.
Veröffentlicht: (2004)
T-satisfiability test problem for the VL1 logical language of the VRS system
von: Timofeev, V.G.
Veröffentlicht: (2015)
von: Timofeev, V.G.
Veröffentlicht: (2015)
On generalized derivations satisfying certain identities
von: Albaş, E., et al.
Veröffentlicht: (2011)
von: Albaş, E., et al.
Veröffentlicht: (2011)
On Artinian rings satisfying the Engel condition
von: Evstaf’ev, R. Yu., et al.
Veröffentlicht: (2006)
von: Evstaf’ev, R. Yu., et al.
Veröffentlicht: (2006)
On harmonic functions satisfying nonlocal boundary conditions
von: Eydelman, S. D., et al.
Veröffentlicht: (1994)
von: Eydelman, S. D., et al.
Veröffentlicht: (1994)
Approximate solution of a boundary value problem for controllable systems satisfying a rank condition
von: V. V. Grushkovskaja, et al.
Veröffentlicht: (2014)
von: V. V. Grushkovskaja, et al.
Veröffentlicht: (2014)
On associative algebras satisfying the identity \(x^5 = 0\)
von: Shestakov, Ivan, et al.
Veröffentlicht: (2018)
von: Shestakov, Ivan, et al.
Veröffentlicht: (2018)
On linear homogeneous almost periodic systems that satisfy the Favard condition
von: Tkachenko, V. I., et al.
Veröffentlicht: (1998)
von: Tkachenko, V. I., et al.
Veröffentlicht: (1998)
A two-point problem for systems satisfying a controllability condition with second order Lie brackets
von: V. V. Grushkovskaja, et al.
Veröffentlicht: (2015)
von: V. V. Grushkovskaja, et al.
Veröffentlicht: (2015)
The generalized Hermite polynomials, their properties, and the differential equation which they satisfy
von: V. L. Makarov
Veröffentlicht: (2020)
von: V. L. Makarov
Veröffentlicht: (2020)
On pairs of unbounded self-adjoint operators satisfying an algebraic relation
von: Ostrovskii, V. L., et al.
Veröffentlicht: (1993)
von: Ostrovskii, V. L., et al.
Veröffentlicht: (1993)
The structure of infinite dimensional linear groups satisfying certain finiteness conditions
von: Jose M. Munoz-Escolano, et al.
Veröffentlicht: (2009)
von: Jose M. Munoz-Escolano, et al.
Veröffentlicht: (2009)
Groups satisfying the condition of weak minimality for subgroups of derived length two
von: Onishchuk, V. A., et al.
Veröffentlicht: (1994)
von: Onishchuk, V. A., et al.
Veröffentlicht: (1994)
Virtual Reference Services as a Tool to Satisfy the Information Needs of Users
von: O. Postelzhuk
Veröffentlicht: (2015)
von: O. Postelzhuk
Veröffentlicht: (2015)
Estimate for a Rearrangement of a Function Satisfying the “Reverse Jensen Inequality”
von: Korenovskii, A. A., et al.
Veröffentlicht: (2005)
von: Korenovskii, A. A., et al.
Veröffentlicht: (2005)
Groups satisfying a weak minimum condition for non-Abelian subgroups
von: Zaitsev, D. I., et al.
Veröffentlicht: (1971)
von: Zaitsev, D. I., et al.
Veröffentlicht: (1971)
On sharp conditions for the global stability of a difference equation satisfying the Yorke condition
von: Nenya, O. I., et al.
Veröffentlicht: (2008)
von: Nenya, O. I., et al.
Veröffentlicht: (2008)
Invariant solutions of a system of Euler equations that satisfy the Rankine—Hugoniot conditions
von: I. I. Yuryk
Veröffentlicht: (2018)
von: I. I. Yuryk
Veröffentlicht: (2018)
Invariant solutions of a system of Euler equations that satisfy the Rankine—Hugoniot conditions
von: Yuryk, I.I.
Veröffentlicht: (2018)
von: Yuryk, I.I.
Veröffentlicht: (2018)
Construction of solutions of the Laplace equation satisfying the no-slip condition on the segment of the sphere
von: Ya. Barniak
Veröffentlicht: (2013)
von: Ya. Barniak
Veröffentlicht: (2013)
Boundary extension of mappings that satisfy the Poletsky inverse inequality in terms of prime ends
von: Ye. O. Sevostianov
Veröffentlicht: (2021)
von: Ye. O. Sevostianov
Veröffentlicht: (2021)
On the convergence of functions from a Sobolev space satisfying special integral estimates
von: Kovalevskii, A. A., et al.
Veröffentlicht: (2006)
von: Kovalevskii, A. A., et al.
Veröffentlicht: (2006)
Boundary extension of mappings that satisfy the Poletsky inverse inequality in terms of prime ends
von: Sevost’yanov , E. A., et al.
Veröffentlicht: (2021)
von: Sevost’yanov , E. A., et al.
Veröffentlicht: (2021)
Criteria of Similarity of Dynamic Problems of Combinatorial Optimization
von: N. K. Tymofiieva
Veröffentlicht: (2019)
von: N. K. Tymofiieva
Veröffentlicht: (2019)
The world experience of the institution of trust to the quality of satisfying the people's needs
von: S. H. Batazhok
Veröffentlicht: (2011)
von: S. H. Batazhok
Veröffentlicht: (2011)
Self-improvement of summability factors of functions satisfying the reverse Hölder inequality in limit cases
von: Korenovskii, A. A., et al.
Veröffentlicht: (2010)
von: Korenovskii, A. A., et al.
Veröffentlicht: (2010)
Pseudostarlike, pseudoconvex and close-to-pseudoconvex dirichlet series satisfying differential equations with exponential coefficients
von: O. M. Holovata, et al.
Veröffentlicht: (2018)
von: O. M. Holovata, et al.
Veröffentlicht: (2018)
Nested scalar convolutions in multi-criteria problems
von: Voronin, A., et al.
Veröffentlicht: (2024)
von: Voronin, A., et al.
Veröffentlicht: (2024)
Exactness criteria for SDP-relaxations of quadratic extremum problems
von: O. A. Berezovskij
Veröffentlicht: (2016)
von: O. A. Berezovskij
Veröffentlicht: (2016)
Criteria for delineation and tools for the development of problem rural areas
von: I. Z. Storonianska, et al.
Veröffentlicht: (2021)
von: I. Z. Storonianska, et al.
Veröffentlicht: (2021)
Laplace equation solutions that satisfy the zero Neumann condition on a segment of a sphere
von: Ya. Barniak
Veröffentlicht: (2015)
von: Ya. Barniak
Veröffentlicht: (2015)
Ähnliche Einträge
-
Reoptimization of 2-objective minimum vertex cover problem
von: N. A. Dreichan
Veröffentlicht: (2015) -
Algebraic Approach to Reoptimization of Combinatorial Optimization Problems and Related Questions of Computational Complexity Evaluation
von: V. O. Mykhailiuk
Veröffentlicht: (2017) -
Hardness of reoptimization of the problem of calculating the chromatic number of a graph with a given set of optimal solutions
von: V. A. Mikhajljuk
Veröffentlicht: (2016) -
Satisfiability of bright formulas
von: Denisov, A. S., et al.
Veröffentlicht: (2007) -
Satisfiability For Symbolic Verification in VRS
von: A. Letichevsky, et al.
Veröffentlicht: (2013)