CSPLib swMATH ID: 4150 Software Authors: Ian P. Gent,Toby Walsh, Ian Miguel Description: CSPLib is a library of test problems for constraint solvers. The library consists of:problems organised by subject area and problem number guidelines for submitting new problems a paper about the library (in postscript or html) and its bibtex reference (also available from the APES technical report page) a list of related benchmark libraries links to constraint solvers a history of changes to the library a tar file of version 2.1 of the library (and version 2.0) The main motivation for CSPLib is to focus research in constraints away from purely random problems and onto more structured problems. Homepage: http://www.csplib.org/ Keywords: a problem library for constraints Related Software: MiniZinc; Gecode; CPLEX; COMET; MINION; Choco; Chaff; OPL; ILOG SCHEDULE; ManySAT; Walksat; EasyLocal++; Sugar; Essence; OTTER; MiniSat; DIMACS; SICStus; Cardinal; BACP Cited in: 89 Publications all top 5 Cited by 177 Authors 10 Walsh, Toby 6 Lee, Jimmy Ho-man 5 Nightingale, Peter W. 4 Garcia de la Banda, Maria 4 Miguel, Ian 4 Solnon, Christine 4 Stuckey, Peter James 4 Wallace, Mark G. 4 Zivan, Roie 3 Bessiere, Christian 3 Estellon, Bertrand 3 Frisch, Alan M. 3 Gardi, Frédéric 3 Gent, Ian Philip 3 Hebrard, Emmanuel 3 Hnich, Brahim 3 Mears, Christopher 3 Meisels, Amnon 3 Nouioua, Karim 2 Abreu, Salvador 2 Akgün, Özgür 2 Artigues, Christian 2 Beldiceanu, Nicolas 2 Cadoli, Marco 2 Carlsson, Mats 2 Choi, Chiu Wo 2 Codognet, Philippe 2 Demoen, Bart 2 Di Gaspero, Luca 2 Diaz, Daniel 2 Drescher, Christian 2 Gagné, Caroline 2 Gravel, Marc 2 Hamiez, Jean-Philippe 2 Hao, Jin-Kao 2 Jefferson, Christopher 2 Kiziltan, Zeynep 2 Law, Yat Chiu 2 Musliu, Nysret 2 Patrizi, Fabio 2 Pesant, Gilles 2 Petit, Thierry 2 Price, Wilson Leonard 2 Schaerf, Andrea 2 Siala, Mohamed 2 Sutcliffe, Geoff 2 Triska, Markus 2 Van Hentenryck, Pascal 2 Woo, May H. C. 1 Adenso-Díaz, Belarmino 1 Ahriz, Hatem 1 Albert, Patrick 1 Amadini, Roberto 1 Azevedo, Francisco 1 Barahona, Pedro 1 Barnier, Nicolas 1 Bautista, Joaquín 1 Benhamou, Belaid 1 Benoist, Thierry 1 Brisset, Pascal 1 Brito, Ismel 1 Brown, Kenneth N. 1 Caniou, Yves 1 Ceschia, Sara 1 Cheng, Chi Kan 1 Chiarandini, Marco 1 Cohen, David A. 1 Correia, Marco 1 Crama, Yves 1 Crawford, Broderick 1 Cung, Van-Dat 1 de Werra, Dominique 1 Debruyne, Romuald 1 Díaz-Ibarra, Oscar 1 Doggett, Anthony J. 1 Dotú, Iván 1 Douence, Rémi 1 Ducassé, Mireille 1 Ekim, Tınaz 1 Ergin, Hüseyin 1 Ernst, Andreas T. 1 Fages, François 1 Flener, Pierre 1 Gabbrielli, Maurizio 1 Geinoz, A. 1 Gelain, Mirco 1 Glover, Fred W. 1 Gottlieb, Jens 1 Grubshtein, Alon 1 Gualandi, Stefano 1 Horrocks, Ian 1 Huguet, Marie-José 1 Jeavons, Peter G. 1 Jussien, Narendra 1 Katsirelos, George 1 Khichane, Madjid 1 Kim, Kyungjoo 1 Koriche, Frédéric 1 Laborie, Philippe 1 Langevine, Ludovic ...and 77 more Authors all top 5 Cited in 22 Serials 21 Constraints 9 Artificial Intelligence 9 European Journal of Operational Research 5 Annals of Operations Research 4 Journal of Automated Reasoning 2 Discrete Applied Mathematics 2 AI Communications 2 INFORMS Journal on Computing 2 Theory and Practice of Logic Programming 1 Journal of the Operational Research Society 1 Operations Research Letters 1 Computers & Operations Research 1 The Journal of Artificial Intelligence Research (JAIR) 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Heuristics 1 Logic Journal of the IGPL 1 Journal of Scheduling 1 Combustion Theory and Modelling 1 RAIRO. Operations Research 1 ACM Transactions on Computational Logic 1 4OR 1 EURO Journal on Computational Optimization all top 5 Cited in 9 Fields 51 Computer science (68-XX) 50 Operations research, mathematical programming (90-XX) 2 Combinatorics (05-XX) 1 History and biography (01-XX) 1 Mathematical logic and foundations (03-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year