Проблема проверки выполнимости формул разрешимых теорий (обзор)

• Published in: Труды Института прикладной математики и механики
• Date: 2013
• Main Author: Скобелев, В.В.
• Language: Russian
• Published: Інститут прикладної математики і механіки НАН України 2013
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/124170
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Проблема проверки выполнимости формул разрешимых теорий (обзор) / В.В. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2013. — Т. 26. — С. 205-221. — Бібліогр.: 94 назв. — рос.

Данная работа посвящена анализу современного состояния исследований проблемы проверки выполнимости формул разрешимых теорий 1-го порядка на основе ѕленивого подходаї, т.е. на интеграции SAT-решателей с T -решателями. Охарактеризована структура SAT-решателя, построенного на основе управляющей конфлик...