no code implementations • 2 Jan 2021 • Sam D. Allen, Edmund K. Burke, Jakub Marecek
Current integer programming solvers fail to decide whether 12 unit cubes can be packed into a 1x1x11 box within an hour using the natural relaxation of Chen/Padberg.