Skip to main content
SpringerLink
Log in

Promoting robust black-box solvers through competitions

  • Viewpoints
  • Published:
Constraints Aims and scope Submit manuscript

Abstract

This paper presents the experiences of the organizers of the four constraint solver competitions which were held in conjunction with CP in the previous years. The paper mainly focuses on the competitions which were held in 2008 and 2009, outlines the reasons for organizing the competitions, describes how the solvers were evaluated, and presents lessons, observations, and general trends.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Baptista, L., Lynce, I., & Marques-Silva, J. P. (2001). Complete search restart strategies for satisfiability. In Proceedings of SSA’01 workshop held with IJCAI’01.

  2. Boussemart, F., Hemery, F., Lecoutre, C., & Sais, L. (2004). Boosting systematic search by weighting constraints. In Proceedings of ECAI’04 (pp. 146–150).

  3. Carlsson, M. (2006). Filtering for the case constraint. Talk given at the School on Global Constraints.

  4. Cheng, K., & Yap, R. (2008). Maintaining generalized arc consistency on ad-hoc r-ary constraints. In Proceedings of CP’08 (pp. 509–523).

  5. Cheng, K., & Yap, R. (2008). An overview of mddc-solve. In M. R. C. van Dongen, C. Lecoutre, & O. Roussel (Eds.), Proceedings of the third constraint solver competition (pp. 3–7).

  6. Correia, M., & Barahona, P. (2008). Overview of the CaSPER constraint solvers. In M. R. C. van Dongen, C. Lecoutre, & O. Roussel (Eds.), Proceedings of the third constraint solver competition (pp. 15–24).

  7. Fukunaga, A. S. (2003). Complete restart strategies using a compact representation of the explored search space. In Proceedings of SSA’03 workshop held with IJCAI’03.

  8. Geelen, P. A. (1992). Dual viewpoint heuristics for binary constraint satisfaction problems. In Proceedings of ECAI’92 (pp. 31–35).

  9. Gent, I. P., Jefferson, C., & Miguel, I. (2006). Minion: A fast, scalable constraint solver. In Proceedings of ECAI’06 (pp. 98–102).

  10. Gomes, C., Selman, B., Crato, N., & Kautz, H. (2000). Heavy-tailed phenomena in satisfiability and constraint satisfaction problems. Journal of Automated Reasoning, 24, 67–100.

    Article  MATH  MathSciNet  Google Scholar 

  11. Grimes, D. (2008). A comparison of boosted versus unboosted weighted degree search. In M. R. C. van Dongen, C. Lecoutre, & O. Roussel (Eds.), Proceedings of the third constraint solver competition (pp. 25–30).

  12. Haralick, R. M., & Elliott, G. L. (1980). Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence, 14, 263–313.

    Article  Google Scholar 

  13. Hebrard, E. (2008). Mistral, a constraint satisfaction library. In M. R. C. van Dongen, C. Lecoutre, & O. Roussel (Eds.), Proceedings of the third constraint solver competition (pp. 31–39).

  14. Hebrard, E. (2008). Implementing a constraint solver: A case study. In Slides of the workshop of the third international constraint solver competition. http://www.cril.univ-artois.fr/CPAI08.

  15. Lecoutre, C. (2008). Optimization of simple tabular reduction for table constraints. In Proceedings of CP’08 (pp. 128–143).

  16. Lecoutre, C., Sais, L., Tabary, S., & Vidal, V. (2007). Recording and minimizing nogoods from restarts. Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 1, 147–167.

    Google Scholar 

  17. O’Mahony, E., Hebrard, E., Holland, A., Nugent, C., & O’Sullivan, B. (2008). Using case-based reasoning in an algorithm portfolio for constraint solving. In M. R. C. van Dongen, C. Lecoutre, & O. Roussel (Eds.), Proceedings of the third constraint solver competition (pp. 53–62).

  18. Prosser, P., Stergiou, K., & Walsh, T. (2002). Singleton consistencies. In Proceedings of CP’00 (pp. 353–368).

  19. Puget, J. F. (2004). Constraint programming next challenge: Simplicity of use. In Proceedings of CP’04 (pp. 5–8). Invited talk.

  20. Refalo, P. (2004). Impact-based search strategies for constraint programming. In Proceedings of CP’04 (pp. 557–571).

  21. Roussel, O., & Lecoutre, C. (2009). XML representation of constraint networks: Format XCSP 2.1. Technical report. arXiv:0902.2362. CoRR.

  22. Sanchez, M., Bouveret, S., de Givry, S., Heras, F., Jegou, P., Larrosa, J., et al. (2008). Max-CSP competition 2008: Toulbar2 solver description. In M. R. C. van Dongen, C. Lecoutre, & O. Roussel (Eds.), Proceedings of the third constraint solver competition (pp. 63–70).

  23. Tamura, N., Taga, A., Kitagawa, S., & Banbara, M. (2006). Compiling finite linear CSP into SAT. In Proceedings of CP’06 (pp. 590–603).

  24. Tamura, N., Tanjo, T., & Banbara, M. (2008). System description of a SAT-based CSP solver: Sugar. In M. R. C. van Dongen, C. Lecoutre, & O. Roussel (Eds.), Proceedings of the third constraint solver competition (pp. 71–75).

  25. The Choco Team. Choco: An open source Java constraint programming library. In M. R. C. van Dongen, C. Lecoutre, & O. Roussel (Eds.), Proceedings of the third constraint solver competition (pp. 8–14).

  26. Ullmann, J. R. (2007). Partition search for non-binary constraint satisfaction. Information Science, 177, 3639–3678.

    Article  MATH  MathSciNet  Google Scholar 

  27. van Dongen, M. R. C. (2006). Beyond singleton arc consistency. In Proceedings of ECAI’06 (pp. 163–167).

  28. van Dongen, M. R. C., Lecoutre, C., & Roussel, O. (Eds.) (2008). Proceedings of the third constraint solver competition. http://www.cril.univ-artois.fr/CPAI08/Competition-08.pdf.

  29. Zhou, N.-F. (2008). bp-solver 2008. In M. R. C. van Dongen, C. Lecoutre, & O. Roussel (Eds.), Proceedings of the third constraint solver competition (pp. 83–90).

Download references

Author information

Authors and Affiliations

  1. CRIL—CNRS UMR 8188, Université Lille-Nord de France, Artois, rue de l’université, SP 16, 62307, Lens, France

    Christophe Lecoutre & Olivier Roussel

  2. Computer Science Department, University College Cork, Western Road, Cork, Ireland

    M. R. C. van Dongen

Authors
  1. Christophe Lecoutre
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olivier Roussel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. R. C. van Dongen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Christophe Lecoutre.

Additional information

http://cpai.ucc.ie/05/CPAI_Vol_II.pdf, http://www.cril.univ-artois.fr/{CPAI06,CPAI08,CSC09}

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lecoutre, C., Roussel, O. & van Dongen, M.R.C. Promoting robust black-box solvers through competitions. Constraints 15, 317–326 (2010). https://doi.org/10.1007/s10601-010-9092-1

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10601-010-9092-1

Keywords

Search

Navigation