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 Pamar on Sunday September 29, 2019 @01:39AM (#21105314)
I studied Simplex and related techniques at University, and took https://courses.edx.org/courses/course-v1:MITx+15.053x+3T201... as a refresher.

The course is now closed, but you can probably find something similar as a MOOC.

[ Parent | on HN ]

There are no comments on this comment yet.