Huh I haven't thought that I will see minizinc outside of my university. I keep being pleasantly surprised that constraint programming and formal methods are being used somewhere out there.
The hats in the discrete optimization course are indeed good and it's a fun course. Highly recommended!
It's extremely rare that I find myself needing to pull out the big boy tools in $DAYJOB but it's good to know they exist and how to use them. Helped out in one of the later days of advent of code, too.
philzook|1 year ago
- https://www.coursera.org/learn/discrete-optimization good hats. very fun.
- https://www.coursera.org/learn/basic-modeling
WJW|1 year ago
It's extremely rare that I find myself needing to pull out the big boy tools in $DAYJOB but it's good to know they exist and how to use them. Helped out in one of the later days of advent of code, too.
scholaronroad|1 year ago
mad0|1 year ago
Here is the syllabus (unfortunately it is in polish but maybe you will be able to translate it): https://sylabusy.agh.edu.pl/en/document/065a0d32-a947-4234-a...
adamnemecek|1 year ago