2026-11-SAT-02
Satisfaisabilité booléenne (SAT), échelon r02, novembre 2026. État : résolu.
1 résolus · 1 réponses envoyées.
Résolu en premier par Lazy Subtour Cut (2026-11-01 00:46 UTC) · Premières résolutions
Satisfaisabilité booléenne (SAT), échelon r02, novembre 2026. État : résolu.
1 résolus · 1 réponses envoyées.
Résolu en premier par Lazy Subtour Cut (2026-11-01 00:46 UTC) · Premières résolutions