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; CPLEX; Essence; SCIP; CHUFFED; Chaff; MiniSat; Zinc; CSPLib; SATzilla; z3; COMET; MINION; SUNNY; Proteus; Sugar; GitHub; FlatZinc; AMPL; Gurobi Cited in: 109 Publications Standard Articles 2 Publications describing the Software, including 2 Publications in zbMATH Year MiniZinc with strings. Zbl 1485.68027Amadini, Roberto; Flener, Pierre; Pearson, Justin; Scott, Joseph D.; Stuckey, Peter J.; Tack, Guido 2017 Philosophy of the MiniZinc challenge. Zbl 1208.68207Stuckey, Peter J.; Becket, Ralph; Fischer, Julien 2010 all top 5 Cited by 239 Authors 26 Stuckey, Peter James 11 Tack, Guido 7 Amadini, Roberto 7 Gange, Graeme 5 Chu, Geoffrey 5 Flener, Pierre 4 Garcia de la Banda, Maria 4 Pearson, Justin 3 Björdal, Gustav 3 Bofill, Miquel 3 Dekker, Jip J. 3 Gabbrielli, Maurizio 3 Jefferson, Christopher 3 Lam, Edward 3 Mauro, Jacopo 3 Mears, Christopher 3 Miguel, Ian 3 Musliu, Nysret 3 Schütt, Andreas 3 Suy, Josep 3 Villaret, Mateu 3 Wallace, Mark G. 2 Akgün, Özgür 2 Calimeri, Francesco 2 Carlsson, Mats 2 Cristiá, Maximiliano 2 De Raedt, Luc 2 Dovier, Agostino 2 Escamocher, Guillaume 2 Frisch, Alan M. 2 Gebser, Martin 2 Gent, Ian Philip 2 Guns, Tias 2 Hooker, John N. jun. 2 Hoos, Holger H. 2 Jeavons, Peter G. 2 Kotthoff, Lars 2 Kreter, Stefan 2 Lindauer, Marius 2 Marriott, Kim 2 Mischek, Florian 2 Monette, Jean-Noël 2 Niehren, Joachim 2 Nightingale, Peter W. 2 Nijssen, Siegfried 2 O’Sullivan, Barry 2 Palahí, Miquel 2 Rossi, Gianfranco 2 Samulowitz, Horst 2 Schachte, Peter 2 Schiendorfer, Alexander 2 Schrijvers, Tom 2 Scott, Joseph D. 2 Søndergaard, Harald 2 Strichman, Ofer 2 Tierney, Kevin 2 Van Hentenryck, Pascal 2 Veksler, Michael 2 Versari, Cristian 2 Wuille, Pieter 1 Allart, Emilie 1 Allouche, David 1 Anastacio, Marie 1 Anders, Gerrit 1 Andrlon, Mak 1 Ansótegui, Carlos 1 Aschinger, Markus 1 Babaki, Behrouz 1 Barahona, Pedro 1 Battistutta, Michele 1 Beck, J. Christopher 1 Becker, Tristan 1 Becket, Ralph 1 Bhavnani, Sidhant 1 Bierlee, Hendrik 1 Bilauca, Mihai 1 Bischl, Bernd 1 Bojović, Nebojša J. 1 Borrajo, Daniel 1 Bürgler, Josef 1 Codognet, Philippe 1 Correia, Marco 1 Crawford, Broderick 1 Cseh, Ágnes 1 Da Col, Giacomo 1 Davis, Jesse 1 de Givry, Simon 1 De Koninck, Leslie 1 de Uña, Diego 1 Demoen, Bart 1 Desaulniers, Guy 1 Douence, Rémi 1 Dowson, Oscar 1 Drescher, Conrad 1 Dries, Anton 1 Duck, Gregory J. 1 Dunkelman, Orr 1 Enright, Jessica 1 Fischer, Julien 1 Florez, José E. ...and 139 more Authors all top 5 Cited in 20 Serials 26 Constraints 12 Artificial Intelligence 5 European Journal of Operational Research 5 Theory and Practice of Logic Programming 4 Theoretical Computer Science 3 Journal of Automated Reasoning 3 Annals of Operations Research 3 The Journal of Artificial Intelligence Research (JAIR) 3 INFORMS Journal on Computing 2 Computers & Operations Research 2 Mathematical Programming Computation 1 Discrete Applied Mathematics 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Algorithmica 1 Cybernetics and Systems Analysis 1 Annals of Mathematics and Artificial Intelligence 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science 1 EURO Journal on Computational Optimization 1 SN Operations Research Forum all top 5 Cited in 13 Fields 65 Computer science (68-XX) 61 Operations research, mathematical programming (90-XX) 6 Combinatorics (05-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Biology and other natural sciences (92-XX) 3 Information and communication theory, circuits (94-XX) 2 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) Citations by Year