{
  "domain": "computer-science",
  "topics": [
    "integer-programming",
    "coding-theory",
    "graph-theory"
  ],
  "type": "algorithm",
  "also": [
    "proof"
  ],
  "source": {
    "key": "miplib",
    "name": "MIPLIB 2017",
    "url": "https://miplib.zib.de/tag_open.html",
    "id": "open tag",
    "curator": "Zuse Institute Berlin",
    "status": "open",
    "as_of": "2026-10-21",
    "catalog": "0521c19bbd38"
  },
  "review": true,
  "approval": "first-time"
}