×

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 Documents
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

Citations by Year