Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-dynp-bad-data — история изменений
Материал из DISCOPAL
Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Сравнить.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — незначительные изменения.