Please use this identifier to cite or link to this item:
https://elib.bsu.by/handle/123456789/14608| Title: | О двух проблемах, основанных на проблеме выполнимости |
| Authors: | Мощенский, Д. А. Мощенский, Д. В. |
| Keywords: | ЭБ БГУ::ЕСТЕСТВЕННЫЕ И ТОЧНЫЕ НАУКИ::Математика |
| Issue Date: | Sep-2007 |
| Publisher: | БГУ |
| Citation: | Вестник Белорусского государственного университета. Сер. 1, Физика. Математика. Информатика. – 2007. - № 3. - С.118-120 |
| Abstract: | Two new problems are defined: a problem of complete satisfiability and a problem of recognition satisfiability. Lower and upper bound of its time complexities arc proven. Определяются проблемы полной выполнимости и распознавание выполнимости, устанавливается связь между ними и проблемой выполнимости. Доказываются нижние и верхние оценки временной сложности их вычислений. |
| URI: | http://elib.bsu.by/handle/123456789/14608 |
| ISSN: | 0321-0367 |
| Licence: | info:eu-repo/semantics/openAccess |
| Appears in Collections: | 2007, №3 (сентябрь) Статьи факультета прикладной математики и информатики |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 118-120.pdf | 360,17 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.