Вычислительные методы в дискретной математике

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

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

Лаборатория дискретного анализа и прикладной логики Института динамики систем и теории управления СО РАН, г. Иркутск

УДК: 519.7