Донецький національний технічний університет
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://ea.donntu.edu.ua/jspui/handle/123456789/20468| Назва: | RESOLUTION ALGORITHM OPTIMIZATION USING TERNARY CLAUSES REPRESENTATION |
| Автори: | Volchenko, M.V. |
| Дата публікації: | 19-тра-2013 |
| Видавництво: | ДоННТУ |
| Серія/номер: | ;Секция 8 |
| Короткий огляд (реферат): | The work is devoted to solving the SAT problem of propositional logic formulas, that characterized by a great power. The ternary representation of clauses is proposed. Resolution algorithm using ternary clauses representation is proposed. The experimental results confirming the effectiveness of the proposed algorithm. |
| URI (Уніфікований ідентифікатор ресурсу): | http://ea.donntu.edu.ua/handle/123456789/20468 |
| Розташовується у зібраннях: | Конференція ІУС та КМ - 2013 |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| RESOLUTION ALGORITHM OPTIMIZATION USING TERNARY.pdf | 104,05 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.