Donetsk National Technical University
Please use this identifier to cite or link to this item:
https://ea.donntu.edu.ua/jspui/handle/123456789/20468| Title: | RESOLUTION ALGORITHM OPTIMIZATION USING TERNARY CLAUSES REPRESENTATION |
| Authors: | Volchenko, M.V. |
| Issue Date: | 19-May-2013 |
| Publisher: | ДоННТУ |
| Series/Report no.: | ;Секция 8 |
| Abstract: | 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 |
| Appears in Collections: | Конференція ІУС та КМ - 2013 |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| RESOLUTION ALGORITHM OPTIMIZATION USING TERNARY.pdf | 104,05 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.