Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-dynp-bad-data — история изменений

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

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Сравнить.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — незначительные изменения.