Gecode swMATH ID: 6272 Software Authors: Christian Schulte, KTH Royal Institute of Technology Description: Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is: open. Gecode is radically open for programming: it can be easily interfaced to other systems. It supports the programming of new constraints, branching strategies, and search engines. New variable domains can be programmed at the same level of efficiency as the variables that come predefined with Gecode. comprehensive. Gecode has a comprehensive set of features: constraints over integers, Booleans, sets, and floats (it implements more than 70 constraints from the Global Constraint Catalog and many more on top); C++ modeling layer; advanced branching heuristics (accumulated failure count, activity); many search engines (parallel, interactive graphical, restarts); automatic symmetry breaking (LDSB); MiniZinc support; and many more. efficient Gecode offers excellent performance with respect to both runtime and memory usage. It won all gold medals in all categories at the MiniZinc Challenges from 2008 to 2012: 2012, 2011, 2010, 2009, and 2008. documented Gecode comes with both complete tutorial (more than 500 pages) and complete reference documentation that allows users to focus on different modeling and programming tasks with Gecode. free Gecode is distributed under the MIT license and is listed as free software by the FSF. All of its parts including reference documentation, implementations of global constraints, and examples are available as source code for download. portable Gecode is implemented in C++ that carefully follows the C++ standard. It can be compiled with modern C++ compilers and runs on a wide range of machines (including 64bit machines). parallel Gecode complies with reality in that it exploits the multiple cores of today’s commodity hardware for parallel search, giving an already efficient base system an additional edge. tested Gecode uses a test suite with almost 50000 different test cases reaching a test coverage close to 100 Homepage: http://www.gecode.org/ Programming Languages: C++ Related Software: MiniZinc; CPLEX; Choco; COMET; SCIP; CSPLib; CHUFFED; MINION; Zinc; JaCoP; Gurobi; SICStus; OR-tools; Essence; Sugar; MiniSat; CHIP; PSPLIB; FlatZinc; PASS Cited in: 85 Documents Further Publications: http://www.gecode.org/publications.html all top 5 Cited by 197 Authors 11 Stuckey, Peter James 7 Flener, Pierre 6 Tack, Guido 5 Pearson, Justin 5 Salvagnin, Domenico 4 Carlsson, Mats 4 Garcia de la Banda, Maria 4 Gualandi, Stefano 4 Malucelli, Federico 3 Amadini, Roberto 3 Björdal, Gustav 3 Fischetti, Matteo 3 Schrijvers, Tom 3 Schulte, Christian 3 Solnon, Christine 3 Walsh, Toby 2 Akgün, Özgür 2 Åstrand, Max 2 Bădică, Amelia 2 Bădică, Costin 2 Beldiceanu, Nicolas 2 Brandt, Felix 2 Chu, Geoffrey 2 Cseh, Ágnes 2 Demoen, Bart 2 Di Gaspero, Luca 2 Escamocher, Guillaume 2 Fotso, Laure Pauline 2 Gange, Graeme 2 Geibinger, Tobias 2 Gent, Ian Philip 2 Gérault, David 2 Hooker, John N. jun. 2 Jefferson, Christopher 2 Johansson, Mikael 2 Kameugne, Roger 2 Katsirelos, George 2 Lallouet, Arnaud 2 Lorca, Xavier 2 Mears, Christopher 2 Miguel, Ian 2 Minier, Marine 2 Mischek, Florian 2 Monette, Jean-Noël 2 Musliu, Nysret 2 Nightingale, Peter W. 2 Quesada, Luis O. 2 Samulowitz, Horst 2 Schiendorfer, Alexander 2 Scott, Joseph D. 2 Urli, Tommaso 2 Völker, Markus 2 Wuille, Pieter 1 Abi-Zeid, Irène 1 Allouche, David 1 Anders, Gerrit 1 Andersen, Kent Høj 1 Ashjaei, Mohammad 1 Backes, Michael 1 Barahona, Pedro 1 Bauer, Reinhard 1 Becket, Ralph 1 Behnam, Moris 1 Benadè, Gerdus 1 Benedetti, Marco H. 1 Bhavnani, Sidhant 1 Bodirsky, Manuel 1 Bofill, Miquel 1 Buligiu, Ion 1 Bulín, Jakub 1 Caballero, Rafael E. 1 Capone, Antonio 1 Cappart, Quentin 1 Cardeneo, Andreas 1 Carello, Giuliana 1 Ceschia, Sara 1 Chabert, Gilles 1 Chalumeau, Félix 1 Ciora, Liviu Ion 1 Ciré, André Augusto 1 Codish, Michael 1 Correia, Marco 1 Coulon, Ilan 1 Davies, Jessica Katharine 1 de Framond, Félix 1 de Givry, Simon 1 De Raedt, Luc 1 Dekker, Jip J. 1 Desouter, Benoit 1 Douence, Rémi 1 Dries, Anton 1 Enqvist, Per 1 Enright, Jessica 1 Feyzmahdavian, Hamid Reza 1 Filippini, Ilario 1 Fischer, Julien 1 Francis, Kathryn Glenn 1 Frimodig, Sara 1 Frisch, Alan M. 1 García-Ruiz, Yolanda ...and 97 more Authors all top 5 Cited in 21 Serials 28 Constraints 7 Artificial Intelligence 3 Computers & Operations Research 3 European Journal of Operational Research 3 INFORMS Journal on Computing 3 Journal of Scheduling 2 Annals of Operations Research 2 Mathematical Programming Computation 1 Discrete Applied Mathematics 1 Indian Journal of Pure & Applied Mathematics 1 Networks 1 Theoretical Computer Science 1 Science of Computer Programming 1 Algorithmica 1 AI Communications 1 Real-Time Systems 1 Annals of Mathematics and Artificial Intelligence 1 Theory and Practice of Logic Programming 1 4OR 1 EURO Journal on Computational Optimization 1 SN Operations Research Forum all top 5 Cited in 9 Fields 56 Operations research, mathematical programming (90-XX) 42 Computer science (68-XX) 7 Combinatorics (05-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year