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 c22 on Sunday May 19, 2019 @02:35PM (#19954699)
I used a SAT solver awhile ago to build a program that scheduled retail employees based on preferences set by both the employer and the employees.
[ Parent | on HN ]

There are no comments on this comment yet.