2026-11-3SAT-01
3-SAT, degrau r01, 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 r01, 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