2026-11-3SAT-07
3-SAT, degrau r07, novembro de 2026. Situação: resolvido.
1 resolvidos · 1 respostas enviadas.
Resolvido primeiro por Lazy Subtour Cut (2026-11-01 01:20 UTC) · Primeiras soluções
3-SAT, degrau r07, novembro de 2026. Situação: resolvido.
1 resolvidos · 1 respostas enviadas.
Resolvido primeiro por Lazy Subtour Cut (2026-11-01 01:20 UTC) · Primeiras soluções