| DC Field | Value | Language |
|---|
| dc.contributor.author | Шатилов, Н. П. | - |
| dc.contributor.author | Громов, М. Л. | - |
| dc.date.accessioned | 2017-10-18T11:14:04Z | - |
| dc.date.available | 2017-10-18T11:14:04Z | - |
| dc.date.issued | 2013 | - |
| dc.identifier.citation | Шатилов, Н. П. Метод разделения множества дизъюнктов в нахождении решения булевых формул с кванторами / Н. П. Шатилов, М. Л. Громов // Информационные технологии и системы 2013 (ИТС 2013) : материалы международной научной конференции, БГУИР, Минск, Беларусь, 23 октября 2013 г. = Information Technologies and Systems 2013 (ITS 2013) : Proceeding of The International Conference, BSUIR, Minsk, 24th October 2013 / редкол.: Л. Ю. Шилин [и др.]. - Минск : БГУИР, 2013. - С. 134-135. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/26770 | - |
| dc.description.abstract | В данной работе рассматривается задача выполнимости булевых формул с кванторами и проводятся экспериментальные исследования влияния метода разделения множества дизъюнктов на скорость сколемизации таких формул. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | метод разделения множества дизъюнктов | ru_RU |
| dc.subject | сколемизация формул | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | доклады | ru_RU |
| dc.subject | булевые формулы | ru_RU |
| dc.title | Метод разделения множества дизъюнктов в нахождении решения булевых формул с кванторами | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | ИТС 2013
|
