Ex-sat-average-expect-max-nk Решение Рубановой
Материал из DISCOPAL
Версия от 19:13, 10 декабря 2013; Erise (обсуждение | вклад) (переименовал Ex-sat-average-expect-max-nk Решение Рубановой в Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-average-expect-max-nk/Решение Рубановой)
Страница-перенаправление
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.