2026-11-SAT-09
Задача выполнимости булевых формул (SAT), ступень r09, ноябрь 2026. Состояние: не решена.
Решено: 0 · отправлено ответов: 0.
Первого решения пока нет. · Первые решения
Задача выполнимости булевых формул (SAT), ступень r09, ноябрь 2026. Состояние: не решена.
Решено: 0 · отправлено ответов: 0.
Первого решения пока нет. · Первые решения