1. A lagrangian propagator for artificial neural networks in constraint programming

   • Michele Lombardi
   • Stefano Gualandi

   OriginalPaper 12 November 2015 Pages: 435 - 462

   

2. Extending SMT solvers with support for finite domain alldifferent constraint

   • Milan Banković

   OriginalPaper 16 November 2015 Pages: 463 - 494

   

3. Three generalizations of the FOCUS constraint

   • Nina Narodytska
   • Thierry Petit
   • Toby Walsh

   OriginalPaper 01 December 2015 Pages: 495 - 532

   

4. Theoretical insights and algorithmic tools for decision diagram-based optimization

   • David Bergman
   • Andre A. Cire

   OriginalPaper 03 March 2016 Pages: 533 - 556

   

5. Range-only SLAM with indistinguishable landmarks; a constraint programming approach

   • Luc Jaulin

   Application 22 October 2015 Pages: 557 - 576

   

6. Operating room management under uncertainty

   • Jean Bertrand Gauthier
   • Antoine Legrain

   Application 19 November 2015 Pages: 577 - 596

   

7. Constrained global optimization for wine blending

   • Philippe Vismara
   • Remi Coletta
   • Gilles Trombettoni

   Application 23 November 2015 Pages: 597 - 615

   

8. Side-channel cryptographic attacks using pseudo-boolean optimization

   • Yossef Oren
   • Avishai Wool

   Application 07 December 2015 Pages: 616 - 645

   

9. ℚ-bounds consistency for the spread constraint with variable mean

   • Soon Chee Loong
   • Wen-Yang Ku
   • J. Christopher Beck

   Letter 02 February 2016 Pages: 646 - 652