Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Труды Института прикладной математики и механики
Datum:	2013
ISSN:	1683-4720
1. Verfasser:	Скобелев, В.В.
Sprache:	Russisch
Veröffentlicht:	Інститут прикладної математики і механіки НАН України 2013
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/124170
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Проблема проверки выполнимости формул разрешимых теорий (обзор) / В.В. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2013. — Т. 26. — С. 205-221. — Бібліогр.: 94 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Оптимизация проверки выполнимости переходов при верификации формальных моделей
von: Колчин, А.В.
Veröffentlicht: (2012)

Задача проверки Т-выполнимости для логического языка VL1 системы VRS
von: Тимофеев, В.Г.
Veröffentlicht: (2012)

Реоптимизация упорядоченных обобщенных задач о выполнимости
von: Михайлюк, В.А.
Veröffentlicht: (2012)

О π-разрешимых и локально π-разрешимых группах с факторизацией
von: Путилов, С.В., et al.
Veröffentlicht: (2001)

Реоптимизация обобщенных проблем о выполнимости с аппроксимационно-устойчивыми предикатами
von: Михайлюк, В.А., et al.
Veröffentlicht: (2012)

О сублинейных алгоритмах реоптимизации для обобщенных задач о выполнимости
von: Михайлюк, В.А.
Veröffentlicht: (2013)

Алгоритм проверки гипотезы нормальности случайного вектора
von: Мукан, О.В., et al.
Veröffentlicht: (2007)

Выполнимость ярких формул
von: Денисов, А.С.
Veröffentlicht: (2007)

Оптимальный приближенный алгоритм реоптимизации для строгих обобщенных задач о выполнимости
von: Михайлюк, В.А.
Veröffentlicht: (2012)

Относительно проблематичности стохастической проверки теоретических конструктов
von: Дембицкий, С.
Veröffentlicht: (2014)

Метод проверки значимости оценок коэффициентов модели
von: Федорченко, С.Г., et al.
Veröffentlicht: (2000)

Разработка инструментальных средств для проверки формальных моделей
von: Колчин, А.В.
Veröffentlicht: (2008)

О разрешимых нормальных подгруппах конечных групп
von: Монахов, В.С., et al.
Veröffentlicht: (2002)

Об оптимизации весовых квадратурных формул
von: Бабенко, В.Ф.
Veröffentlicht: (1995)

О пороге отношения аппроксимации обобщенной задачи о выполнимости с предикатом размерности 3
von: Михайлюк, В.А.
Veröffentlicht: (2012)

Об абнормально факторизуемых конечных разрешимых группах
von: Васильев, А.Ф.
Veröffentlicht: (2002)

Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
von: Крывый, С.Л., et al.
Veröffentlicht: (2008)

К проблеме перевода патентных формул
von: Клепикова, Т.Г.
Veröffentlicht: (2003)

Построение моментного критерия проверки статистических гипотез при использовании полиномиальных решающих правил
von: Палагин, В.В.
Veröffentlicht: (2008)

Программа проверки орфографии (spellchecker) на основе распределенных представлений
von: Омельченко, Р.С.
Veröffentlicht: (2013)

Экология - важнейшая проблема экономической теории
von: Померанец, В.Н.
Veröffentlicht: (2002)

Теория конечных квантовых автоматов (обзор)
von: Скобелев, В.Г.
Veröffentlicht: (2012)

Модули над групповыми кольцами обобщенно разрешимых групп
von: Дашкова, О.Ю.
Veröffentlicht: (2013)

О соответствии характеров в p-разрешимых группах
von: Гресь, П.Г.
Veröffentlicht: (1989)

Асимптотически нормальный критерий качества типа Неймана-Пирсона для проверки сложных статистических гипотез
von: Палагин, В.В.
Veröffentlicht: (2009)

Решение нормально разрешимых операторных уравнений в гильбертовом пространстве
von: Журавлев, В.Ф.
Veröffentlicht: (2012)

Загальна теорія відносності майже без формул
von: Парновський, С.Л.
Veröffentlicht: (2026)

Проблема относительности научных понятий и теорий
von: Лазарев, Ф.В.
Veröffentlicht: (2009)

Элементы теории устойчивости движения гибридных систем (обзор)
von: Мартынюк, А.А.
Veröffentlicht: (2015)

Исследования днепропетровских математиков по оптимизации квадратурных формул
von: Моторный, В.П.
Veröffentlicht: (1990)

Несколько следствий для p-разрешимых групп гипотезы Алперина
von: Гресь, П.Г.
Veröffentlicht: (1986)

Подклассы разрешимых задач из классов задач комбинаторной оптимизации
von: Тимофеева, Н.К.
Veröffentlicht: (2009)

О разрешимых группах с собственными фактор-группами конечного ранга
von: Тушев, А.В.
Veröffentlicht: (2002)

Метод та інформаційна технологія озвучення математичних формул українською мовою
von: Давидов, М.В., et al.
Veröffentlicht: (2013)

Группы, удовлетворяющие слабому условию минимальности для двуступепно разрешимых подгрупп
von: Онищук, В.А., et al.
Veröffentlicht: (1994)

Оптимизация интервальных формул приближенного интегрирования многозначных функций, монотонных по включению
von: Бабенко, В.В.
Veröffentlicht: (2011)

О структуре базы данных информационной системы проверки знаний в медицинском образовании
von: Марценюк, В.П., et al.
Veröffentlicht: (2009)

Концептуальные подходы к структуре информационной системы проверки знаний в медицинском образовании
von: Марценюк, В.П., et al.
Veröffentlicht: (2009)

Теоремы о больших уклонениях в задаче проверки двух простых гипотез
von: Линьков, Ю.Н., et al.
Veröffentlicht: (1995)

Дисфункция референтного словаря системы проверки орфографии и подход к ее снижению
von: Литвинов, В.А., et al.
Veröffentlicht: (2017)