Обсуждение:Полиномиальный в среднем алгоритм для SAT/c000096 — различия между версиями
Материал из DISCOPAL
(Новый комментарий от Fadeev Vladimir: На 12 слайде, в комментарии что такое "size" написано, что это "счетчик выполняющих...". О…) |
(нет различий)
|
Текущая версия на 18:45, 24 ноября 2016
На 12 слайде, в комментарии что такое "size" написано, что это "счетчик выполняющих...". Однако на видео 2011 года, на 55 минуте, говорится, что это "счётчик обнуляющих КНФ наборов"