2026-11-SAT-06
Satisfaisabilité booléenne (SAT), échelon r06, 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:56 UTC) · Premières résolutions
Satisfaisabilité booléenne (SAT), échelon r06, 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:56 UTC) · Premières résolutions