Комментарии — Полиномиальный в среднем алгоритм для SAT

Материал из DISCOPAL
Перейти к: навигация, поиск

[ Хронологический вид ]Комментарии

На 12 слайде, в комментарии что такое "size" написано, что это "счетчик выполняющих...". Однако на видео 2011 года, на 55 минуте, говорится, что это "счётчик обнуляющих КНФ наборов"

Войдите, чтобы комментировать.