4 ms·

Thanks for the detailed write-up, I find this stuff super interesting. If I wanted to read up and study the maths involved (CLP(Z)) what would be the best place

Thanks for the detailed write-up, I find this stuff super interesting. If I wanted to read up and study the maths involved (CLP(Z)) what would be the best place to start (textbooks, courses etc)?

i_don_t_know 4y ago
I have enjoyed these courses on Coursera. You can audit them for free. Discrete Optimization https://www.coursera.org/learn/discrete-optimization https://www.coursera.org/learn/discrete-optimization Solving Algorithms for Discrete Optimization https://www.coursera.org/learn/solving-algorithms-discrete-optimization https://www.coursera.org/learn/solving-algorithms-discrete-o... The second course is the last part of a three part series. The first two parts are on modeling of problems with MiniZinc. They are also quite enjoyable.