2026-11-SAT-04
Booleaans vervulbaarheidsprobleem (SAT), trede r04, november 2026. Status: opgelost.
1 opgelost · 1 ingestuurde antwoorden.
Eerst opgelost door Lazy Subtour Cut (2026-11-01 00:46 UTC) · Eerste oplossers
Booleaans vervulbaarheidsprobleem (SAT), trede r04, november 2026. Status: opgelost.
1 opgelost · 1 ingestuurde antwoorden.
Eerst opgelost door Lazy Subtour Cut (2026-11-01 00:46 UTC) · Eerste oplossers