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 48 articles , 2 standard articles )

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

1 2 3 next

  1. Amadini, Roberto; Flener, Pierre; Pearson, Justin; Scott, Joseph D.; Stuckey, Peter J.; Tack, Guido: Minizinc with strings (2017)
  2. Battistutta, Michele; Schaerf, Andrea; Urli, Tommaso: Feature-based tuning of single-stage simulated annealing for examination timetabling (2017)
  3. Guns, Tias; Dries, Anton; Nijssen, Siegfried; Tack, Guido; De Raedt, Luc: MiningZinc: A declarative framework for constraint-based mining (2017)
  4. Hemmi, David; Tack, Guido; Wallace, Mark: Scenario-based learning for stochastic combinatorial optimisation (2017)
  5. Leo, Kevin; Tack, Guido: Debugging unsatisfiable constraint models (2017)
  6. Passerini, Andrea (ed.); Tack, Guido (ed.); Guns, Tias (ed.): Introduction to the special issue on combining constraint solving with mining and learning (2017)
  7. Rusu, Irena: Graph matching problems and the NP-hardness of sortedness constraints (2017)
  8. Scott, Joseph D.; Flener, Pierre; Pearson, Justin; Schulte, Christian: Design and implementation of bounded-length sequence variables (2017)
  9. Gassmann, Horand; Ma, Jun; Martin, Kipp: Communication protocols for options and results in a distributed optimization environment (2016)
  10. 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)
  11. Salvagnin, Domenico: Detecting semantic groups in MIP models (2016)
  12. van Iersel, Leo; Kelk, Steven; Lekić, Nela; Linz, Simone: Satisfying ternary permutation constraints by multiple linear orders or phylogenetic trees (2016)
  13. Veksler, Michael; Strichman, Ofer: Learning general constraints in CSP (2016)
  14. Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo: Why CP portfolio solvers are (under)utilized? issues and challenges (2015)
  15. Bilauca, Mihai; Gange, Graeme; Healy, Patrick; Marriott, Kim; Moulder, Peter; Stuckey, Peter J.: Automatic minimal-height table layout (2015)
  16. Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin: A constraint-based local search backend for MiniZinc (2015)
  17. Chu, Geoffrey; Stuckey, Peter J.: Dominance breaking constraints (2015)
  18. Lardeux, Frédéric; Monfroy, Eric; Crawford, Broderick; Soto, Ricardo: Set constraint model and automated encoding into SAT: application to the social golfer problem (2015)
  19. Mears, Christopher; de la Banda, Maria Garcia; Wallace, Mark; Demoen, Bart: A method for detecting symmetries in constraint models and its generalisation (2015)
  20. Aschinger, Markus; Drescher, Conrad; Gottlob, Georg; Vollmer, Heribert: LoCo -- a logic for configuration problems (2014)

1 2 3 next