1. Introduction to the special issue on the thirteenth international conference on principles and practice of constraint programming (CP 2007)

   • Christian Bessiere

   OriginalPaper 24 December 2008 Pages: 293 - 293

2. Model-driven visualizations of constraint-based local search

   • Grégoire Dooms
   • Pascal Van Hentenryck
   • Laurent Michel

   OriginalPaper 16 January 2009 Pages: 294 - 324

3. Limitations of restricted branching in clause learning

   • Matti Järvisalo
   • Tommi Junttila

   OriginalPaper 07 January 2009 Pages: 325 - 356

4. Propagation via lazy clause generation

   • Olga Ohrimenko
   • Peter J. Stuckey
   • Michael Codish

   OriginalPaper 13 January 2009 Pages: 357 - 391

5. Solution counting algorithms for constraint-centered search heuristics

   • Alessandro Zanarini
   • Gilles Pesant

   OriginalPaper 24 December 2008 Pages: 392 - 413