Страницы, ссылающиеся на «Полиномиальный в среднем алгоритм для SAT/Задачи/ex-greedy-sat-is-2-approx-weighted»
Материал из DISCOPAL
На страницу Полиномиальный в среднем алгоритм для SAT/Задачи/ex-greedy-sat-is-2-approx-weighted отсутствуют ссылки с других страниц.