Everything about MiniZinc

🧭 Start here: a 6-step reading path

1. Read the overview: MiniZincA 5-minute orientation
2. Skim a recent paper: MiniZinc with objectsInfluential work since 2022
3. Pick up a classic book: Building Decision Support SystemsThe most-reprinted book on the subject
4. Read the landmark paper: The MiniZinc Challenge 2008–2013Cited 66 times
5. Go sideways: Constraint satisfactionA closely related topic
6. Go sideways: List of optimization softwareA closely related topic

🏆 Landmark papers (most cited)

• The MiniZinc Challenge 2008–2013

  Peter J. Stuckey, Thibaut Feydy, Andreas Schutt · 2014 · AI Magazine · 66 citations

• Philosophy of the MiniZinc challenge

  Peter J. Stuckey, Ralph Becket, Julien Fischer · 2010 · Constraints · 31 citations

• A constraint-based local search backend for MiniZinc

  Gustav Björdal, Jean-Noël Monette, Pierre Flener · 2015 · Constraints · 20 citations

• MiniBrass: Soft constraints for MiniZinc

  Alexander Schiendorfer, Alexander Knapp, Gerrit Anders · 2018 · Constraints · 10 citations

• Auto-tabling for subproblem presolving in MiniZinc

  Jip J. Dekker, Gustav Björdal, Mats Carlsson · 2017 · Constraints · 6 citations

• Automatic Logic-Based Benders Decomposition with MiniZinc

  Toby Davies, Graeme Gange, Peter Stuckey · 2017 · Proceedings of the AAAI Conference on Artificial Intelligence · 5 citations

• SUNNY-CP and the MiniZinc challenge

  ROBERTO AMADINI, MAURIZIO GABBRIELLI, JACOPO MAURO · 2017 · Theory and Practice of Logic Programming · 5 citations

• Formulation of Sudoku Puzzle Using Binary Integer Linear Programming and Its Implementation in Julia, Python, and Minizinc

  Fahren Bukhari, Sri Nurdiati, Mohamad Khoirun Najib · 2022 · Jambura Journal of Mathematics · 3 citations

🆕 Influential since 2022

• MiniZinc with objects

  Guido Tack, Richard Comploi-Taupe, Andreas Falkner · 2025 · Constraints · 1 citations

• Applying mutation testing and metamorphic testing to MiniZinc scheduling problems

  Ma del Carmen de Castro-Cabrera, Sonia Estévez-Martín, Luis Llana Díaz · 2026 · Information and Software Technology · 0 citations

📚 Books worth reading

• Building Decision Support SystemsMark Wallace · 2020

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Constraint satisfaction In artificial intelligence and operations research, constraint satisfaction is the process of finding a solution through a set of constraints that impose…
• List of optimization software Given a transformation between input and output values, described by a mathematical function, optimization deals with generating and selecting the best…
• Optimization Programming Language Optimization Programming Language (OPL) is an algebraic modeling language for mathematical optimization models, which makes the coding easier and shorter…
• OR-Tools Google OR-Tools is a free and open-source software suite developed by Google for solving linear programming (LP), mixed integer programming (MIP), constraint…
• Constraint programming Constraint programming (CP) is a paradigm for solving combinatorial problems that draws on a wide range of techniques from artificial intelligence, computer…
• Algebraic modeling language Algebraic modeling languages (AML) are high-level computer programming languages for describing and solving high complexity problems for large scale mathematica…
• Answer set programming Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable…
• Nonlinear programming In mathematics, nonlinear programming (NLP), also known as nonlinear optimization, is the process of solving an optimization problem where some of the…