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.

References in zbMATH (referenced in 74 articles )

Showing results 1 to 20 of 74.
Sorted by year (citations)

1 2 3 4 next

  1. Bessiere, Christian; Koriche, Frédéric; Lazaar, Nadjib; O’Sullivan, Barry: Constraint acquisition (2017)
  2. Lee, Jimmy H.M.; Zhu, Zichen: Towards breaking more composition symmetries in partial symmetry breaking (2017)
  3. Leo, Kevin; Tack, Guido: Debugging unsatisfiable constraint models (2017)
  4. Scott, Joseph D.; Flener, Pierre; Pearson, Justin; Schulte, Christian: Design and implementation of bounded-length sequence variables (2017)
  5. Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo: Why CP portfolio solvers are (under)utilized? issues and challenges (2015)
  6. Caniou, Yves; Codognet, Philippe; Richoux, Florian; Diaz, Daniel; Abreu, Salvador: Large-scale parallelism for constraint-based local search: the costas array case study (2015)
  7. Lardeux, Frédéric; Monfroy, Eric; Crawford, Broderick; Soto, Ricardo: Set constraint model and automated encoding into SAT: application to the social golfer problem (2015)
  8. Mears, Christopher; de la Banda, Maria Garcia; Wallace, Mark; Demoen, Bart: A method for detecting symmetries in constraint models and its generalisation (2015)
  9. Pesant, Gilles: Achieving domain consistency and counting solutions for dispersion constraints (2015)
  10. Artigues, Christian; Hebrard, Emmanuel; Mayer-Eichberger, Valentin; Siala, Mohamed; Walsh, Toby: SAT and hybrid models of the car sequencing problem (2014)
  11. Ceschia, Sara; Di Gaspero, Luca; Schaerf, Andrea: The generalized balanced academic curriculum problem with heterogeneous classes (2014)
  12. Mears, Christopher; de la Banda, Maria Garcia; Demoen, Bart; Wallace, Mark: Lightweight dynamic symmetry breaking (2014)
  13. Prud’homme, Charles; Lorca, Xavier; Douence, Rémi; Jussien, Narendra: Propagation engine prototyping with a domain specific language (2014)
  14. Siala, Mohamed; Hebrard, Emmanuel; Huguet, Marie-José: An optimal arc consistency algorithm for a particular case of sequence constraint (2014)
  15. Thiruvady, Dhananjay; Ernst, Andreas; Wallace, Mark: A Lagrangian-ACO matheuristic for car sequencing (2014)
  16. Zivan, Roie; Okamoto, Steven; Peled, Hilla: Explorative anytime local search for distributed constraint optimization (2014)
  17. Correia, Marco; Barahona, Pedro: View-based propagation of decomposable constraints (2013)
  18. Law, Y.C.; Lee, J.H.M.; Walsh, T.; Woo, M.H.C.: Multiset variable representations and constraint propagation (2013)
  19. Mattei, Nicholas; Walsh, Toby: PrefLib: a library for preferences. \urlhttp://www.preflib.org (2013)
  20. Benhamou, Belaïd; Paris, Lionel; Siegel, Pierre: Dealing with satisfiability and n-ary CSPs in a logical framework (2012)

1 2 3 4 next