Оптимизация алгоритма резолюции в логике высказываний при помощи 0,1-ного представления дизъюнктов
Loading...
Date
Authors
item.page.orcid
DOI
item.page.thesis.degree.name
item.page.thesis.degree.level
item.page.thesis.degree.discipline
item.page.thesis.degree.department
item.page.thesis.degree.grantor
item.page.thesis.degree.advisor
item.page.thesis.degree.committeeMember
Journal Title
Journal ISSN
Volume Title
Publisher
НТУ "ХПИ"
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.
Description
Citation
Волченко М. В. Оптимизация алгоритма резолюции в логике высказываний при помощи 0,1-ного представления дизъюнктов / М. В. Волченко // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Новые решения в современных технологиях. – Харьков : НТУ "ХПИ". – 2012. – № 33. – С. 55-62.