MiniZinc

MiniZinc is a medium-level constraint modelling language. It is high-level enough to express most constraint problems easily, but low-level enough that it can be mapped onto existing solvers easily and consistently. It is a subset of the higher-level language Zinc. We hope it will be adopted as a standard by the Constraint Programming community.


References in zbMATH (referenced in 52 articles , 2 standard articles )

Showing results 1 to 20 of 52.
Sorted by year (citations)

1 2 3 next

  1. Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo: SUNNY-CP and the MiniZinc challenge (2018)
  2. Amadini, Roberto; Flener, Pierre; Pearson, Justin; Scott, Joseph D.; Stuckey, Peter J.; Tack, Guido: Minizinc with strings (2017)
  3. Battistutta, Michele; Schaerf, Andrea; Urli, Tommaso: Feature-based tuning of single-stage simulated annealing for examination timetabling (2017)
  4. Dekker, Jip J.; Björdal, Gustav; Carlsson, Mats; Flener, Pierre; Monette, Jean-Noël: Auto-tabling for subproblem presolving in minizinc (2017)
  5. Guns, Tias; Dries, Anton; Nijssen, Siegfried; Tack, Guido; De Raedt, Luc: MiningZinc: A declarative framework for constraint-based mining (2017)
  6. Hemmi, David; Tack, Guido; Wallace, Mark: Scenario-based learning for stochastic combinatorial optimisation (2017)
  7. Kreter, Stefan; Schutt, Andreas; Stuckey, Peter J.: Using constraint programming for solving RCPSP/MAX-cal (2017)
  8. Leo, Kevin; Tack, Guido: Debugging unsatisfiable constraint models (2017)
  9. Michel, L.; Van Hentenryck, P.: A microkernel architecture for constraint programming (2017)
  10. Passerini, Andrea (ed.); Tack, Guido (ed.); Guns, Tias (ed.): Introduction to the special issue on combining constraint solving with mining and learning (2017)
  11. Rusu, Irena: Graph matching problems and the NP-hardness of sortedness constraints (2017)
  12. Scott, Joseph D.; Flener, Pierre; Pearson, Justin; Schulte, Christian: Design and implementation of bounded-length sequence variables (2017)
  13. Gassmann, Horand; Ma, Jun; Martin, Kipp: Communication protocols for options and results in a distributed optimization environment (2016)
  14. Hurley, Barry; O’Sullivan, Barry; Allouche, David; Katsirelos, George; Schiex, Thomas; Zytnicki, Matthias; de Givry, Simon: Multi-language evaluation of exact solvers in graphical model discrete optimization (2016)
  15. Salvagnin, Domenico: Detecting semantic groups in MIP models (2016)
  16. van Iersel, Leo; Kelk, Steven; Lekić, Nela; Linz, Simone: Satisfying ternary permutation constraints by multiple linear orders or phylogenetic trees (2016)
  17. Veksler, Michael; Strichman, Ofer: Learning general constraints in CSP (2016)
  18. Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo: Why CP portfolio solvers are (under)utilized? issues and challenges (2015)
  19. Bilauca, Mihai; Gange, Graeme; Healy, Patrick; Marriott, Kim; Moulder, Peter; Stuckey, Peter J.: Automatic minimal-height table layout (2015)
  20. Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin: A constraint-based local search backend for MiniZinc (2015)

1 2 3 next