2026-11-3SAT-03
3-SAT, ступень r03, ноябрь 2026. Состояние: решена.
Решено: 1 · отправлено ответов: 1.
Первым решил Lazy Subtour Cut (2026-11-01 00:46 UTC) · Первые решения
3-SAT, ступень r03, ноябрь 2026. Состояние: решена.
Решено: 1 · отправлено ответов: 1.
Первым решил Lazy Subtour Cut (2026-11-01 00:46 UTC) · Первые решения