Please use this identifier to cite or link to this item:
http://repository.kpi.kharkov.ua/handle/KhPI-Press/10183
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Волченко, М. В. | ru |
dc.date.accessioned | 2014-11-13T07:36:33Z | - |
dc.date.available | 2014-11-13T07:36:33Z | - |
dc.date.issued | 2012 | - |
dc.identifier.citation | Волченко М. В. Оптимизация алгоритма резолюции в логике высказываний при помощи 0,1-ного представления дизъюнктов / М. В. Волченко // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Новые решения в современных технологиях. – Харьков : НТУ "ХПИ". – 2012. – № 33. – С. 55-62. | ru |
dc.identifier.uri | http://repository.kpi.kharkov.ua/handle/KhPI-Press/10183 | - |
dc.description.abstract | Работа посвящена решению задачи проверки выполнимости формул логики высказываний, характеризующихся большой мощностью. Предложено 0,1-ное представление дизъюнктов и матричная структура представления связей дизъюнктов, для которых разработан алгоритм резолюции с эвристической функцией выбора связи для резольвирования. Приведены результаты экспериментальных исследований, подтверждающие эффективность предложенного алгоритма. | ru |
dc.description.abstract | The 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.iso | ru | - |
dc.publisher | НТУ "ХПИ" | ru |
dc.subject | выполнимость | ru |
dc.subject | матричная структура | ru |
dc.subject | резольвирование | ru |
dc.subject | экспериментальные исследования | ru |
dc.subject | матрица связей | ru |
dc.subject | графы связей | ru |
dc.subject | satisfiability solving | en |
dc.subject | propositional logic | en |
dc.subject | clause | en |
dc.subject | resolution algorithm | en |
dc.title | Оптимизация алгоритма резолюции в логике высказываний при помощи 0,1-ного представления дизъюнктов | ru |
dc.type | Article | en |
Appears in Collections: | Вісник № 33 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
vestnik_HPI_2012_33_Volchenko_Optimizatsiya.pdf | 486,7 kB | Adobe PDF | ![]() View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.