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