Advanced Modeling for Discrete Optimization

Course Tags： Kripke semantics Semantics Geometry Enabling Mathematical optimization Job shop scheduling Symmetry-breaking constraints Discrete optimization Constraint programming Data structure alignment computer-science software-development