Применение SAT-подхода в решении комбинаторных задач
А. А. Семенов, И. В. Отпущенников, С. Е. Кочемазов

ЛИТЕРАТУРА
1.	Хопкрофт Дж., Мотвани Р., Ульман Дж., Введение в теорию автоматов, языков и вычислений, Вильямс, М., 2002
2.	Семенов А. А., Отпущенников И. В., Кочемазов С. Е., “Пропозициональный подход в задачах тестирования дискретных автоматов”, Современные технологии. Системный анализ. Моделирование, 2009, № 4, 48–56
3.	Up-to-date links for the SATisfability Problem http://www.satlive.org
4.	Н. А. Колчанов, С. С. Гончаров, В. А. Лихошвай, В. А. Иванисенко (ред.), Системная компьютерная биология, Изд-во СО РАН, Новосибирск, 2008
5.	Евдокимов А. А., Кочемазов С. Е., Семенов А. А., “Применение символьных вычислений к исследованию дискретных моделей некоторых классов генных сетей”, Вычислительные технологии, 16:1 (2011), 30–47