Reoptimization of 2-criteria satisfiability problem
Збережено в:
| Дата: | 2018 |
|---|---|
| Автори: | V. O. Mykhailiuk, T. I. Cheprasova, N. A. Dreichan |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
2018
|
| Назва видання: | Kompiuternaia matematyka |
| Онлайн доступ: | http://jnas.nbuv.gov.ua/article/UJRN-0001047798 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Репозитарії
Library portal of National Academy of Sciences of Ukraine | LibNASСхожі ресурси
-
Reoptimization of 2-objective minimum vertex cover problem
за авторством: N. A. Dreichan
Опубліковано: (2015) -
Algebraic Approach to Reoptimization of Combinatorial Optimization Problems and Related Questions of Computational Complexity Evaluation
за авторством: V. O. Mykhailiuk
Опубліковано: (2017) -
Hardness of reoptimization of the problem of calculating the chromatic number of a graph with a given set of optimal solutions
за авторством: V. A. Mikhajljuk
Опубліковано: (2016) -
Satisfiability For Symbolic Verification in VRS
за авторством: A. Letichevsky, та інші
Опубліковано: (2013) -
Satisfiability For Symbolic Verification in VRS
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)