Please use this identifier to cite or link to this item: http://repository.kpi.kharkov.ua/handle/KhPI-Press/10183
Full metadata record
DC FieldValueLanguage
dc.contributor.authorВолченко, М. В.ru
dc.date.accessioned2014-11-13T07:36:33Z-
dc.date.available2014-11-13T07:36:33Z-
dc.date.issued2012-
dc.identifier.citationВолченко М. В. Оптимизация алгоритма резолюции в логике высказываний при помощи 0,1-ного представления дизъюнктов / М. В. Волченко // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Новые решения в современных технологиях. – Харьков : НТУ "ХПИ". – 2012. – № 33. – С. 55-62.ru
dc.identifier.urihttp://repository.kpi.kharkov.ua/handle/KhPI-Press/10183-
dc.description.abstractРабота посвящена решению задачи проверки выполнимости формул логики высказываний, характеризующихся большой мощностью. Предложено 0,1-ное представление дизъюнктов и матричная структура представления связей дизъюнктов, для которых разработан алгоритм резолюции с эвристической функцией выбора связи для резольвирования. Приведены результаты экспериментальных исследований, подтверждающие эффективность предложенного алгоритма.ru
dc.description.abstractThe work is devoted to solving the problem of testing the satisfiability of propositional logic formulas, that characterized by a great power. The clauses 0,1-representation and matrix representation of the clauses links structure are proposed. A resolution algorithm with an heuristic function of the links choice for resolution is proposed. The experimental results confirming the effectiveness of the proposed algorithm.en
dc.language.isoru-
dc.publisherНТУ "ХПИ"ru
dc.subjectвыполнимостьru
dc.subjectматричная структураru
dc.subjectрезольвированиеru
dc.subjectэкспериментальные исследованияru
dc.subjectматрица связейru
dc.subjectграфы связейru
dc.subjectsatisfiability solvingen
dc.subjectpropositional logicen
dc.subjectclauseen
dc.subjectresolution algorithmen
dc.titleОптимизация алгоритма резолюции в логике высказываний при помощи 0,1-ного представления дизъюнктовru
dc.typeArticleen
Appears in Collections:Вісник № 33

Files in This Item:
File Description SizeFormat 
vestnik_HPI_2012_33_Volchenko_Optimizatsiya.pdf486,7 kBAdobe PDFThumbnail
View/Open
Show simple item record  Google Scholar



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.