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