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).
Linearisation, MIP solver interfaces, systematic testing and benchmarking.
Jip J. Dekker
Compilation of MiniZinc, Large Neighbourhood Search, automatic table constraints.
Maria Garcia de la Banda
Model analysis and transformation, symmetry detection and breaking, constraint model debugging and profiling.
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.
Linear and non-linear solvers, developing and teaching
Modeling Discrete Optimization
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.