News for hackers. Stuff that matters.

A comment on Modern SAT solvers: fast, neat and underused. Parent comment

Re:Modern SAT solvers: fast, neat and underused by jvanderbot on Monday May 20, 2019 @07:27PM (#19966301)
GA does not belong anywhere near real problems. They are toy solutions with zero guarantees.

Fun to code though!

[ Parent | on HN ]
Re:Modern SAT solvers: fast, neat and underused by new4thaccount on Wednesday May 22, 2019 @06:33AM (#19979687)
Sadly, I've mostly come to the same conclusion in that I at least need a MIP Gap to tell me how far I am from the optimal solution.

My only issue with LP and MILP solvers is scalibility. You have none! Multicore doesn't really seem to help any.

[ Parent | on HN ]