Timeline for A specific collection of subgraphs in $K_{70, 70}$
Current License: CC BY-SA 4.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 18, 2019 at 1:31 | history | edited | RobPratt | CC BY-SA 4.0 |
edited body
|
Sep 18, 2019 at 1:18 | history | edited | RobPratt | CC BY-SA 4.0 |
tightened formulation
|
Sep 12, 2019 at 3:26 | comment | added | RobPratt | Modern integer linear programming solvers do handle such symmetry automatically, but I found a solution by using a different formulation, which I'll post as a separate answer. | |
Sep 8, 2019 at 19:20 | comment | added | Brendan McKay | If there is a solution, it might be found quickly. If there isn't a solution, you'd better hope that the software has exceptionally good symmetry breaking to cope with the $(70!)^2$ symmetry. | |
Sep 8, 2019 at 17:14 | history | answered | RobPratt | CC BY-SA 4.0 |