3 ms·
Is that a minizinc thing or a solver thing in general?
by aidos 3y ago
Is that a minizinc thing or a solver thing in general?
- shaunxcode 3y agohttps://en.wikipedia.org/wiki/Variety_(cybernetics) https://en.wikipedia.org/wiki/Variety_(cybernetics) key takeaway: Boisot and McKelvey updated this law to the "law of requisite complexity", that holds that, in order to be efficaciously adaptive, the internal complexity of a system must match the external complexity it confronts.
- riwsky 3y ago“Inner platform effect”
- 0cf8612b2e1e 3y agoI have only ever used Z3, but you might be onto something. Modeling problems is really challenging. It does not help that if you search for documentation or guidance there one two types of resources: beginner Sudoku or primary literature academic papers discussing the minutia of optimization properties with so much jargon.