spsx

6 ms·

1. 1.▲
   by spsx 7y ago

   This is seriously cool. Are you working on it alone?
2. 2.▲
   by spsx 7y ago

   I totally agree. But if you are a non-profit you might be able to get a SCIP license for free, you just have to contact the people behind it. But if a moderate performance improvement is not that important for you then GLPK is definetly the
3. 3.▲
   by spsx 7y ago

   I believe they are all free for academic use. There is also SCIP, one of the fastest academic solvers but you also need a license for commercial use, although I think the license is much cheaper than CPLEX and Gurobi.
4. 4.▲
   by spsx 7y ago

   I think reducing the TSP to a SAT problem is not a very efficient approach. MIP solvers have become extremely sofisticated (and implement many of the techniques of SAT and much more) and offer a much more powerful modeling paradigm. it&#x27
5. 5.▲
   by spsx 7y ago

   I wonder if there is any good resources on hardware details for someone with a backgroud in applied math. Whenever I find an article talking about cache/branch prediction, I find it hard to follow.