Электронный архив
Донецкого национального технического университета (г.Донецк)
Electronic archive of Donetsk national technical university (Donetsk)
 

Расширенный поиск
Главная страница
 
Просмотреть
Разделы
и коллекции
По дате
По автору
По заглавию
По тематике
 
Зарегистрированным:
Обновления на e-mail
Мой архив
ресурсов
Редактировать профиль
 
Справка
О DSpace

eaDonNTU, Donetsk >
Факультет компьютерных наук и технологий (до 2021) >
Кафедра автоматизированных систем управления >
Конференция ИУС и КМ >
Конференція ІУС та КМ - 2013 >

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.ru/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.pdf104.05 kBAdobe PDFПросмотреть/Открыть

Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.