New post: Gurobi versus the no-three-in-line problemhttps://11011110.github.io/blog/2018/11/12/gurobi-vs-no.html
How well can a good but generic integer linear program solver stand up against 20-year-old problem-specific search code?
Why is this step necessary? mathstodon.xyz might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here