https://libeldoc.bsuir.by/handle/123456789/26770| Title: | Метод разделения множества дизъюнктов в нахождении решения булевых формул с кванторами |
| Authors: | Шатилов, Н. П. Громов, М. Л. |
| Keywords: | метод разделения множества дизъюнктов;сколемизация формул;материалы конференций;доклады;булевые формулы |
| Issue Date: | 2013 |
| Publisher: | БГУИР |
| 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. |
| Abstract: | В данной работе рассматривается задача выполнимости булевых формул с кванторами и проводятся экспериментальные исследования влияния метода разделения множества дизъюнктов на скорость сколемизации таких формул. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/26770 |
| Appears in Collections: | ИТС 2013 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Shatilov_Metod.PDF | 662.4 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.