News for hackers. Stuff that matters.
Re:Modern SAT solvers: fast, neat and underused by mabbo on Saturday September 28, 2019 @08:52PM (#21104203)
That's fascinating!

I've always wanted to build a similar system for assigning chores around the house based on everyone "bidding" on how much they see the effort of each chore being. In theory, one should be able to come up with an assignment where everyone believes they're doing less than everyone else, by their own metric of work effort.

Applying computer science to everyday life is so rare but lovely.

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.