Обсуждение:Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-average-expect-max-nk

Материал из DISCOPAL
Перейти к: навигация, поиск
Очистить кэш этой страницы?
После очистки кэша страницы будет показана её последняя версия.
Источник — «https://discopal.ispras.ru/Обсуждение:Полиномиальный_в_среднем_алгоритм_для_SAT/Задачи/ex-sat-average-expect-max-nk»