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.
[ Parent
| on HN ]
There are no comments on this comment yet.