Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторами - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
980 144

Репозиториев:
30

Авторов:
596 024

расширенный поиск

Экспериментальные исследования влияния логической дихотомии на скорость сколемизации булевых формул с кванторами

Шатилов, Никита Петрович, Громов, Максим Леонидович

Дата публикации: 2013

Дата публикации в реестре: 2020-03-03T19:09:32Z

Ключевые слова:
булевы формулы, квантифицированные булевы формулы, сколемизация, логическая дихотомия

Тип: статьи в журналах

Источник: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 174-176

Связанные документы (рекомендация CORE)