Проблема проверки выполнимости формул разрешимых теорий (обзор)
Данная работа посвящена анализу современного состояния исследований проблемы проверки выполнимости формул разрешимых теорий 1-го порядка на основе ѕленивого подходаї, т.е. на интеграции SAT-решателей с T -решателями. Охарактеризована структура SAT-решателя, построенного на основе управляющей конфлик...
Saved in:
| Published in: | Труды Института прикладной математики и механики |
|---|---|
| Date: | 2013 |
| Main Author: | Скобелев, В.В. |
| Language: | Russian |
| Published: |
Інститут прикладної математики і механіки НАН України
2013
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/124170 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Проблема проверки выполнимости формул разрешимых теорий (обзор) / В.В. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2013. — Т. 26. — С. 205-221. — Бібліогр.: 94 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Оптимизация проверки выполнимости переходов при верификации формальных моделей
by: Колчин, А.В.
Published: (2012)
by: Колчин, А.В.
Published: (2012)
Задача проверки Т-выполнимости для логического языка VL1 системы VRS
by: Тимофеев, В.Г.
Published: (2012)
by: Тимофеев, В.Г.
Published: (2012)
Реоптимизация упорядоченных обобщенных задач о выполнимости
by: Михайлюк, В.А.
Published: (2012)
by: Михайлюк, В.А.
Published: (2012)
О π-разрешимых и локально π-разрешимых группах с факторизацией
by: Путилов, С.В., et al.
Published: (2001)
by: Путилов, С.В., et al.
Published: (2001)
Реоптимизация обобщенных проблем о выполнимости с аппроксимационно-устойчивыми предикатами
by: Михайлюк, В.А., et al.
Published: (2012)
by: Михайлюк, В.А., et al.
Published: (2012)
О сублинейных алгоритмах реоптимизации для обобщенных задач о выполнимости
by: Михайлюк, В.А.
Published: (2013)
by: Михайлюк, В.А.
Published: (2013)
Выполнимость ярких формул
by: Денисов, А.С.
Published: (2007)
by: Денисов, А.С.
Published: (2007)
Оптимальный приближенный алгоритм реоптимизации для строгих обобщенных задач о выполнимости
by: Михайлюк, В.А.
Published: (2012)
by: Михайлюк, В.А.
Published: (2012)
Алгоритм проверки гипотезы нормальности случайного вектора
by: Мукан, О.В., et al.
Published: (2007)
by: Мукан, О.В., et al.
Published: (2007)
О разрешимых нормальных подгруппах конечных групп
by: Монахов, В.С., et al.
Published: (2002)
by: Монахов, В.С., et al.
Published: (2002)
Метод проверки значимости оценок коэффициентов модели
by: Федорченко, С.Г., et al.
Published: (2000)
by: Федорченко, С.Г., et al.
Published: (2000)
Относительно проблематичности стохастической проверки теоретических конструктов
by: Дембицкий, С.
Published: (2014)
by: Дембицкий, С.
Published: (2014)
Об оптимизации весовых квадратурных формул
by: Бабенко, В.Ф.
Published: (1995)
by: Бабенко, В.Ф.
Published: (1995)
Разработка инструментальных средств для проверки формальных моделей
by: Колчин, А.В.
Published: (2008)
by: Колчин, А.В.
Published: (2008)
К вопросу построения примитивных разрешимых групп
by: Барская, C., et al.
Published: (1951)
by: Барская, C., et al.
Published: (1951)
Экология - важнейшая проблема экономической теории
by: Померанец, В.Н.
Published: (2002)
by: Померанец, В.Н.
Published: (2002)
О группах автоморфизмов некоторых классов разрешимых групп
by: Чарин, В. С., et al.
Published: (1953)
by: Чарин, В. С., et al.
Published: (1953)
К проблеме перевода патентных формул
by: Клепикова, Т.Г.
Published: (2003)
by: Клепикова, Т.Г.
Published: (2003)
О пороге отношения аппроксимации обобщенной задачи о выполнимости с предикатом размерности 3
by: Михайлюк, В.А.
Published: (2012)
by: Михайлюк, В.А.
Published: (2012)
Теория конечных квантовых автоматов (обзор)
by: Скобелев, В.Г.
Published: (2012)
by: Скобелев, В.Г.
Published: (2012)
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
by: Крывый, С.Л., et al.
Published: (2008)
by: Крывый, С.Л., et al.
Published: (2008)
Модули над групповыми кольцами обобщенно разрешимых групп
by: Дашкова, О.Ю.
Published: (2013)
by: Дашкова, О.Ю.
Published: (2013)
О соответствии характеров в p-разрешимых группах
by: Гресь, П.Г.
Published: (1989)
by: Гресь, П.Г.
Published: (1989)
Проблема относительности научных понятий и теорий
by: Лазарев, Ф.В.
Published: (2009)
by: Лазарев, Ф.В.
Published: (2009)
Построение моментного критерия проверки статистических гипотез при использовании полиномиальных решающих правил
by: Палагин, В.В.
Published: (2008)
by: Палагин, В.В.
Published: (2008)
Элементы теории устойчивости движения гибридных систем (обзор)
by: Мартынюк, А.А.
Published: (2015)
by: Мартынюк, А.А.
Published: (2015)
Программа проверки орфографии (spellchecker) на основе распределенных представлений
by: Омельченко, Р.С.
Published: (2013)
by: Омельченко, Р.С.
Published: (2013)
Исследования днепропетровских математиков по оптимизации квадратурных формул
by: Моторный, В.П.
Published: (1990)
by: Моторный, В.П.
Published: (1990)
Асимптотически нормальный критерий качества типа Неймана-Пирсона для проверки сложных статистических гипотез
by: Палагин, В.В.
Published: (2009)
by: Палагин, В.В.
Published: (2009)
Подклассы разрешимых задач из классов задач комбинаторной оптимизации
by: Тимофеева, Н.К.
Published: (2009)
by: Тимофеева, Н.К.
Published: (2009)
Несколько следствий для p-разрешимых групп гипотезы Алперина
by: Гресь, П.Г.
Published: (1986)
by: Гресь, П.Г.
Published: (1986)
О разрешимых группах с собственными фактор-группами конечного ранга
by: Тушев, А.В.
Published: (2002)
by: Тушев, А.В.
Published: (2002)
Оптимизация интервальных формул приближенного интегрирования многозначных функций, монотонных по включению
by: Бабенко, В.В.
Published: (2011)
by: Бабенко, В.В.
Published: (2011)
Группы, удовлетворяющие слабому условию минимальности для двуступепно разрешимых подгрупп
by: Онищук, В.А., et al.
Published: (1994)
by: Онищук, В.А., et al.
Published: (1994)
Условие Min — ∞ — N и связанные с ним представления разрешимых групп
by: Тушев, А.В.
Published: (1990)
by: Тушев, А.В.
Published: (1990)
Слабо нелинейные возмущения нормально разрешимых функционально-дифференциальных и дискретных уравнений
by: Слюсарчук, В.Е.
Published: (1987)
by: Слюсарчук, В.Е.
Published: (1987)
Концептуальные подходы к структуре информационной системы проверки знаний в медицинском образовании
by: Марценюк, В.П., et al.
Published: (2009)
by: Марценюк, В.П., et al.
Published: (2009)
О структуре базы данных информационной системы проверки знаний в медицинском образовании
by: Марценюк, В.П., et al.
Published: (2009)
by: Марценюк, В.П., et al.
Published: (2009)
Адаптация моментного критерия качества для многоальтернативной задачи проверки гипотез при использовании полиномиальных решающих правил
by: Палагин, В.В.
Published: (2010)
by: Палагин, В.В.
Published: (2010)
Дисфункция референтного словаря системы проверки орфографии и подход к ее снижению
by: Литвинов, В.А., et al.
Published: (2017)
by: Литвинов, В.А., et al.
Published: (2017)
Similar Items
-
Оптимизация проверки выполнимости переходов при верификации формальных моделей
by: Колчин, А.В.
Published: (2012) -
Задача проверки Т-выполнимости для логического языка VL1 системы VRS
by: Тимофеев, В.Г.
Published: (2012) -
Реоптимизация упорядоченных обобщенных задач о выполнимости
by: Михайлюк, В.А.
Published: (2012) -
О π-разрешимых и локально π-разрешимых группах с факторизацией
by: Путилов, С.В., et al.
Published: (2001) -
Реоптимизация обобщенных проблем о выполнимости с аппроксимационно-устойчивыми предикатами
by: Михайлюк, В.А., et al.
Published: (2012)