×

MiniZinc

swMATH ID: 6261
Software Authors: Guido Tack, NICTA / Monash University (with Sebastian Brand, Mark Brown, Thibaut Feydy, Julien Fischer, Maria Garcia de la Banda, Peter Stuckey, Mark Wallace)
Description: 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.
Homepage: http://www.minizinc.org/
Related Software: Gecode; CHUFFED; CPLEX; Essence; SCIP; GitHub; Chaff; MiniSat; z3; CSPLib; OR-tools; Zinc; Gurobi; SATzilla; MINION; COMET; Sugar; Yices; ILOG SCHEDULE; CP Optimizer
Cited in: 132 Documents
all top 5

Cited by 308 Authors

25 Stuckey, Peter James
11 Tack, Guido
6 Amadini, Roberto
6 Flener, Pierre
6 Gange, Graeme
5 Carlsson, Mats
5 Chu, Geoffrey
5 Garcia de la Banda, Maria
4 Miguel, Ian
4 Musliu, Nysret
4 Pearson, Justin
4 Wallace, Mark G.
3 Akgün, Özgür
3 Björdal, Gustav
3 Bofill, Miquel
3 Dekker, Jip J.
3 Escamocher, Guillaume
3 Gabbrielli, Maurizio
3 Jefferson, Christopher
3 Lam, Edward
3 Mauro, Jacopo
3 Mears, Christopher
3 Minier, Marine
3 Niehren, Joachim
3 Schaerf, Andrea
3 Schütt, Andreas
3 Solnon, Christine
3 Suy, Josep
3 Villaret, Mateu
2 Calimeri, Francesco
2 Ceschia, Sara
2 Cristiá, Maximiliano
2 Cseh, Ágnes
2 De Raedt, Luc
2 Di Gaspero, Luca
2 Dovier, Agostino
2 Frisch, Alan M.
2 Gebser, Martin
2 Gent, Ian Philip
2 Gérault, David
2 Guns, Tias
2 Hooker, John N. jun.
2 Hoos, Holger H.
2 Jeavons, Peter G.
2 Knapp, Alexander
2 Kotthoff, Lars
2 Kreter, Stefan
2 Lee, Jimmy Ho-man
2 Leo, Kevin
2 Lindauer, Marius
2 Marriott, Kim
2 Mischek, Florian
2 Monette, Jean-Noël
2 Nightingale, Peter W.
2 Nijssen, Siegfried
2 O’Sullivan, Barry
2 Palahí, Miquel
2 Quesada, Luis O.
2 Rossi, Gianfranco
2 Rouquette, Loïc
2 Samulowitz, Horst
2 Schiendorfer, Alexander
2 Schrijvers, Tom
2 Schulte, Christian
2 Scott, Joseph D.
2 Spracklen, Patrick
2 Strichman, Ofer
2 Tierney, Kevin
2 Van Hentenryck, Pascal
2 Veksler, Michael
2 Versari, Cristian
2 Wuille, Pieter
2 Zhong, Allen Z.
1 Abreu, Salvador
1 Acikalin, Utku Umur
1 Allart, Emilie
1 Allouche, David
1 Anastacio, Marie
1 Anders, Gerrit
1 Ansótegui, Carlos
1 Armellini, Davide
1 Aschinger, Markus
1 Babaki, Behrouz
1 Barahona, Pedro
1 Battistutta, Michele
1 Beck, J. Christopher
1 Becker, Tristan
1 Becket, Ralph
1 Belov, Gleb
1 Benhamou, Belaid
1 Bhavnani, Sidhant
1 Bierlee, Hendrik
1 Bilauca, Mihai
1 Bischl, Bernd
1 Bodirsky, Manuel
1 Bojović, Nebojša J.
1 Borrajo, Daniel
1 Borzone, Paolo
1 Bulín, Jakub
1 Bürgler, Josef
...and 208 more Authors

Citations by Year