Обсуждение:Полиномиальный в среднем алгоритм для SAT/Задачи/ex-greedy-sat-is-2-approx-weighted

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