Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Труды Института прикладной математики и механики
Дата:	2013
Автор:	Скобелев, В.В.
Мова:	Російська
Опубліковано:	Інститут прикладної математики і механіки НАН України 2013
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/124170
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Проблема проверки выполнимости формул разрешимых теорий (обзор) / В.В. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2013. — Т. 26. — С. 205-221. — Бібліогр.: 94 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

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

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

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

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

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

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

Выполнимость ярких формул
за авторством: Денисов, А.С.
Опубліковано: (2007)

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

Алгоритм проверки гипотезы нормальности случайного вектора
за авторством: Мукан, О.В., та інші
Опубліковано: (2007)

О разрешимых нормальных подгруппах конечных групп
за авторством: Монахов, В.С., та інші
Опубліковано: (2002)

Метод проверки значимости оценок коэффициентов модели
за авторством: Федорченко, С.Г., та інші
Опубліковано: (2000)

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

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

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

К вопросу построения примитивных разрешимых групп
за авторством: Барская, C., та інші
Опубліковано: (1951)

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

О группах автоморфизмов некоторых классов разрешимых групп
за авторством: Чарин, В. С., та інші
Опубліковано: (1953)

К проблеме перевода патентных формул
за авторством: Клепикова, Т.Г.
Опубліковано: (2003)

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

Теория конечных квантовых автоматов (обзор)
за авторством: Скобелев, В.Г.
Опубліковано: (2012)

Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
за авторством: Крывый, С.Л., та інші
Опубліковано: (2008)

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

О соответствии характеров в p-разрешимых группах
за авторством: Гресь, П.Г.
Опубліковано: (1989)

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

Построение моментного критерия проверки статистических гипотез при использовании полиномиальных решающих правил
за авторством: Палагин, В.В.
Опубліковано: (2008)

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

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

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

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

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

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

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

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

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

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

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

Концептуальные подходы к структуре информационной системы проверки знаний в медицинском образовании
за авторством: Марценюк, В.П., та інші
Опубліковано: (2009)

О структуре базы данных информационной системы проверки знаний в медицинском образовании
за авторством: Марценюк, В.П., та інші
Опубліковано: (2009)

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

Дисфункция референтного словаря системы проверки орфографии и подход к ее снижению
за авторством: Литвинов, В.А., та інші
Опубліковано: (2017)