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