Страница публикации

Применение SAT-подхода в решении комбинаторных задач

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Семенов А.А., Отпущенников И.В., Кочемазов С.Е.

Журнал: Прикладная дискретная математика. Приложение

Язык публикации: russian

Номера страниц: 68-69

Количество страниц: 2

Номер: 4

Год публикации: 2011

Отчетный год: 2011

Аннотация: In the report, we present results of applying symbolic computation algorithms to solving discrete automata research problems (e.g. problems of analysis of discrete models of gene networks) and combinatorial optimization problems. In all cases, an original problem is translated into Boolean equations (and after this to SAT) and then is solved using SAT-solver. Optimization problems are solved in distributed computing environments with the help of the SAT-solver specially developed for this task.

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет