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

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

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

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

Том:

Номер: 4

Год: 2011

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

Издательство:

Местоположение издательства:

URL:

Аннотация: 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: 0

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

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

Публикация в печати: 0

Добавил в систему: