2026-11-3SAT-04
3-SAT, degrau r04, 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 r04, 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