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.
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.