algorithms-optimization / Combinatorial Optimization
Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope.
Temporal state
No reconciled state yet.
Append-only history
VibeMathed recorded: Dinitz-Garg-Goemans Conjecture. Consult the linked registry entry for the original report and scope.
Research memory
Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope.
Evidence graph
depends on · problem · open
parent of · event · claim reported
related to · problem · open