Точные алгоритмы решения задачи о выполнимости формулы в КНФ общего вида: различия между версиями

Точные алгоритмы решения задачи о выполнимости формулы в КНФ общего вида (посмотреть исходный код)

16 байт добавлено , 25 июля 2020

м

4446

правок

@@ Строка 150: / Строка 150: @@
 == Экспериментальные результаты ==
-Ван Цзюнь реализовал алгоритм, дающий границу для f$, и собрал некоторую статистику по количеству применений правил упрощения [17].
+Ван Цзюнь реализовал алгоритм, дающий границу для <math>\beta</math>, и собрал некоторую статистику по количеству применений правил упрощения [17].
 == См. также ==