The Constraint Programming Language MiniZinc

Neil Yorke-Smith

Constraint Programming (CP) is a capable and flexible approach to combinatorial optimisation. This talk will outline the open source CP modelling language MiniZinc (www.minizinc.org). MiniZinc is a high-level, declarative, solver-agnostic language that supports the CP paradigm of separating model specification from model solving. MiniZinc compiles to a lower-level language called FlatZinc, through which it interfaces to several commercial and open-source backend solvers

Neil Yorke-Smith is an Associate Professor of Socio-Technical Algorithmics in EEMCS. His research focuses on intelligent decision making in complex socio-technical situations, with a particular current interest in agent-based methodologies and behavioural factors in automated planning and scheduling. Website: http://member.acm.org/~nyorke-smith

---

Previous: Paolo Giarrusso | Towards Semantic Type Soundness for Dependent Object Types and Scala with Logical Relations in Iris
Next: Guillaume Ambal | Terminating Type System in Iris