Решение больших систем логических уравнений: метод минимизации дерева поиска
| Опубликовано в: : | Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" (Томск, ТГУ, 10-13 сентября 2002 г.) С. 260-265 |
|---|---|
| Главный автор: | |
| Другие авторы: | |
| Формат: | Статья в сборнике |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | Перейти в каталог НБ ТГУ |