Распараллеливание алгоритма решения задачи о выполнимости КНФ
| Published in: | Вторая Сибирская школа-семинар по параллельным вычислениям, Томск, 16-19 декабря 2003 года С. 65-66 |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Book Chapter |
| Language: | Russian |
| Subjects: | |
| Online Access: | Перейти в каталог НБ ТГУ |