4446
правок
Точные алгоритмы решения задачи о выполнимости формулы в КНФ общего вида: различия между версиями
Перейти к навигации
Перейти к поиску
м
Точные алгоритмы решения задачи о выполнимости формулы в КНФ общего вида (посмотреть исходный код)
Версия от 18:27, 25 июля 2020
, 25 июля 2020→Экспериментальные результаты
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 150: | Строка 150: | ||
== Экспериментальные результаты == | == Экспериментальные результаты == | ||
Ван Цзюнь реализовал алгоритм, дающий границу для | Ван Цзюнь реализовал алгоритм, дающий границу для <math>\beta</math>, и собрал некоторую статистику по количеству применений правил упрощения [17]. | ||
== См. также == | == См. также == | ||