Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://ea.donntu.edu.ua/jspui/handle/123456789/20468
Повний запис метаданих
Поле DC | Значення | Мова |
---|---|---|
dc.contributor.author | Volchenko, M.V. | - |
dc.date.accessioned | 2013-05-30T08:33:16Z | - |
dc.date.available | 2013-05-30T08:33:16Z | - |
dc.date.issued | 2013-05-19 | - |
dc.identifier.uri | http://ea.donntu.edu.ua/handle/123456789/20468 | - |
dc.description.abstract | 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. | en_US |
dc.publisher | ДоННТУ | en_US |
dc.relation.ispartofseries | ;Секция 8 | - |
dc.title | RESOLUTION ALGORITHM OPTIMIZATION USING TERNARY CLAUSES REPRESENTATION | en_US |
dc.type | Article | en_US |
Розташовується у зібраннях: | Конференція ІУС та КМ - 2013 |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
RESOLUTION ALGORITHM OPTIMIZATION USING TERNARY.pdf | 104,05 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.