Join
MIPLIB 2017 instances with no known feasible solution
Find any feasible point, or prove infeasibility, for the six MIPLIB 2017 instances with no known solution, including Eternity II.
| 1 | { |
| 2 | "domain": "computer-science", |
| 3 | "topics": [ |
| 4 | "integer-programming", |
| 5 | "constraint-programming" |
| 6 | ], |
| 7 | "type": "algorithm", |
| 8 | "also": [ |
| 9 | "proof" |
| 10 | ], |
| 11 | "source": { |
| 12 | "key": "miplib", |
| 13 | "name": "MIPLIB 2017", |
| 14 | "url": "https://miplib.zib.de/tag_no_solution.html", |
| 15 | "id": "no_solution tag", |
| 16 | "curator": "Zuse Institute Berlin", |
| 17 | "status": "open", |
| 18 | "as_of": "2026-10-21", |
| 19 | "catalog": "0521c19bbd38" |
| 20 | }, |
| 21 | "review": true, |
| 22 | "approval": "first-time" |
| 23 | } |