4 ms·
This might be a dumb question (as I'm not familiar with constraint solvers) but would a linear optimization approach be better? I've used linear optimization fo
by 542458 1y ago
This might be a dumb question (as I'm not familiar with constraint solvers) but would a linear optimization approach be better? I've used linear optimization for scheduling in the past. The nice thing is that linear optimization handles rule conflicts well, because you just set weights on all your rules and the optimizer will find the "least bad" solution to the conflicts.
- j2kun 1y agoThis is what major sports leagues use for season scheduling (source: https://mathstodon.xyz/@j2kun/108975072813565989 https://mathstodon.xyz/@j2kun/108975072813565989)
- cerved 1y agoWell if your using MiniZinc you're free to use a CP solver, MIP solver, SAT solver, CP-SAT-LP solver. In general the model is roughly the same, even though some formulations work better for some solvers than others. But CP (and CP-SAT) solvers tend to do very well on scheduling problems