1. Lightweight dynamic symmetry breaking

   • Christopher Mears
   • Maria Garcia de la Banda
   • Mark Wallace

   OriginalPaper 13 December 2013 Pages: 195 - 242

2. A quadratic edge-finding filtering algorithm for cumulative resource constraints

   • Roger Kameugne
   • Laure Pauline Fotso
   • Youcheu Ngo-Kateu

   OriginalPaper 22 November 2013 Pages: 243 - 269

3. Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction

   • J. H. M. Lee
   • K. L. Leung
   • Y. W. Shum

   OriginalPaper 20 March 2014 Pages: 270 - 308

4. The octagon abstract domain for continuous constraints

   • Marie Pelleau
   • Charlotte Truchet
   • Frédéric Benhamou

   OriginalPaper 28 March 2014 Pages: 309 - 337