Application of SAT-approach for solving combinatorial problems
Download file
Counter downloads: 293
Keywords
Authors
| Name | Organization | |
| Semenov A. A. | Institute of System Dynamics and Control Theory SB RAS, Irkutsk | biclop@rambler.ru |
| Otpuschennikov I.V. | Institute of System Dynamics and Control Theory SB RAS, Irkutsk | otilya@yandex.ru |
| Kochemazov S.E. | Institute of System Dynamics and Control Theory SB RAS, Irkutsk | veinamond@gmail.com |
References
Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений. М.: Вильямс, 2002.
Семенов А. А., Отпущенников И. В., Кочемазов С. Е. Пропозициональный подход в задачах тестирования дискретных автоматов // Современные технологии. Системный анализ. Моделирование. 2009. №4. С. 48-56.
http://www.satlive.org - Up-to-date links for the SATisfability Problem.
Системная компьютерная биология / под ред. Н. А. Колчанова, С. С. Гончарова, В. А. Лихошвая, В. А. Иванисенко. Новосибирск: Изд-во СО РАН, 2008.
Евдокимов А. А., Кочемазов С.Е., Семенов А. А. Применение символьных вычислений к исследованию дискретных моделей некоторых классов генных сетей // Вычислительные технологии. 2011. Т. 16. №1. С. 30-47.
