RESOLUTION ALGORITHM OPTIMIZATION USING TERNARY CLAUSES REPRESENTATION
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
RESOLUTION ALGORITHM OPTIMIZATION USING TERNARY CLAUSES REPRESENTATION
|
|
| Creator |
Volchenko, M.V.
|
|
| Description |
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. |
|
| Date |
2013-05-30T08:33:16Z
2013-05-30T08:33:16Z 2013-05-19 |
|
| Type |
Article
|
|
| Identifier |
http://ea.donntu.edu.ua/handle/123456789/20468
|
|
| Relation |
;Секция 8
|
|
| Publisher |
ДоННТУ
|
|