1. Електронний архів ДонНТУ м.Покровськ
  2. Фонди реорганізованих підрозділів
  3. Факультет комп'ютерних наук і технологій
  4. Кафедра автоматизованих систем управління
  5. Конференція ІУС та КМ
  6. Конференція ІУС та КМ - 2013
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: https://ea.donntu.edu.ua/jspui/handle/123456789/20468
Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorVolchenko, M.V.-
dc.date.accessioned2013-05-30T08:33:16Z-
dc.date.available2013-05-30T08:33:16Z-
dc.date.issued2013-05-19-
dc.identifier.urihttp://ea.donntu.edu.ua/handle/123456789/20468-
dc.description.abstractThe 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.titleRESOLUTION ALGORITHM OPTIMIZATION USING TERNARY CLAUSES REPRESENTATIONen_US
dc.typeArticleen_US
Розташовується у зібраннях:Конференція ІУС та КМ - 2013

Файли цього матеріалу:
Файл Опис РозмірФормат 
RESOLUTION ALGORITHM OPTIMIZATION USING TERNARY.pdf104,05 kBAdobe PDFПереглянути/Відкрити
Показати базовий опис матеріалу Перегляд статистики


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.