Sat-average
Материал из DISCOPAL
Версия от 11:40, 21 января 2024;
StasFomin
(
обсуждение
|
вклад
)
(Перенаправление на
Полиномиальный в среднем алгоритм для SAT
)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Страница-перенаправление
Перейти к:
навигация
,
поиск
Перенаправление на:
Полиномиальный в среднем алгоритм для SAT
[
Хронологический вид
]
Комментарии
(нет элементов)
Войдите
, чтобы комментировать.
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.