Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Труды Института прикладной математики и механики
Datum:	2013
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: Денисов, А.С.
Veröffentlicht: (2007)

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

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

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

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

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

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

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

К вопросу построения примитивных разрешимых групп
von: Барская, C., et al.
Veröffentlicht: (1951)

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

О группах автоморфизмов некоторых классов разрешимых групп
von: Чарин, В. С., et al.
Veröffentlicht: (1953)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Условие Min — ∞ — N и связанные с ним представления разрешимых групп
von: Тушев, А.В.
Veröffentlicht: (1990)

Слабо нелинейные возмущения нормально разрешимых функционально-дифференциальных и дискретных уравнений
von: Слюсарчук, В.Е.
Veröffentlicht: (1987)

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

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

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

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