The MiniZinc Team
Design and implementation of MiniZinc, model analysis and transformation, generating efficient FlatZinc for a diverse range of solvers, making MiniZinc easy to use.
Peter J. Stuckey
Design of the MiniZinc language, lazy clause generation solvers, modelling interesting problems, developing and teaching
Basic Modeling for Discrete Optimization
(and other MOOCs).
Jip J. Dekker
Compilation of MiniZinc, Large Neighbourhood Search, automatic table constraints.
Alexander J. Ek
Online and fair optimisation in MiniZinc.
Maria Garcia de la Banda
Model analysis and transformation, symmetry detection and breaking, constraint model debugging and profiling.
Software engineer, development and maintenance of the MiniZinc tool chain.
Multi-pass compilation for MiniZinc, constraint solver interfaces, semi-automatic model improvement and debugging.
Lazy clause generation solvers, scheduling and packing problems, running the
Monash University and Opturion
Industrial applications, language design, linear and hybrid solving approaches.
Automatic translation to SAT.
Linearisation, MIP solver interfaces, systematic testing and benchmarking.
Linear and non-linear solvers, developing and teaching
Modeling Discrete Optimization
Compilation of MiniZinc, Lazy Clause Generation solvers.
Stochastic MiniZinc, efficient algorithms for stochastic combinatorial problems.
Systematic testing, semi-automatic model improvement, symmetry detection and breaking, constraint model debugging and profiling.
Model analysis and transformation, solver backends, stochastic MiniZinc, MiniSearch.
Constraint model debugging and profiling.
Semi-automatic model improvement.