News for hackers. Stuff that matters.
Re:Modern SAT solvers: fast, neat and underused (2018) by sirwhinesalot on Saturday May 27, 2023 @05:32AM (#36093302)
This type of problem is more the domain of Constraint Programming (a related field). Job-scheduling problems are pretty much the main focus. I would look up MiniZinc (it even comes with a nice IDE) and see if you can grok it.

There are no comments on this comment yet.