Compiling with Constraints

Re:Compiling with Constraints by mad0 on Monday March 18, 2024 @05:52PM (#39750492)

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.

[ Parent | on HN ]

Re:Compiling with Constraints by philzook on Monday March 18, 2024 @07:13PM (#39751190)

There are some nice coursera courses on minizinc

- https://www.coursera.org/learn/discrete-optimization good hats. very fun.

- https://www.coursera.org/learn/basic-modeling

[ Parent | on HN ]

Re:Compiling with Constraints by WJW on Tuesday March 19, 2024 @06:27AM (#39754360)

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.

[ Parent | on HN ]

Re:Compiling with Constraints by scholaronroad on Monday March 18, 2024 @06:45PM (#39750956)

Out of curiosity, which university is this? IMO the number of universities that actually teach CP is small.

[ Parent | on HN ]

Re:Compiling with Constraints by adamnemecek on Tuesday March 19, 2024 @12:39AM (#39752996)

Guessing Monash.

[ Parent | on HN ]

Re:Compiling with Constraints by mad0 on Tuesday March 19, 2024 @05:14AM (#39754018)

This was on AGH (Akademia Górniczo Hutnicza) in Krakow, Poland. I did my masters there. The course was kind of zero to hero type of thing.

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...

[ Parent | on HN ]