A lagrangian propagator for artificial neural networks in constraint programming Michele LombardiStefano Gualandi OriginalPaper 12 November 2015 Pages: 435 - 462
Extending SMT solvers with support for finite domain alldifferent constraint Milan Banković OriginalPaper 16 November 2015 Pages: 463 - 494
Three generalizations of the FOCUS constraint Nina NarodytskaThierry PetitToby Walsh OriginalPaper 01 December 2015 Pages: 495 - 532
Theoretical insights and algorithmic tools for decision diagram-based optimization David BergmanAndre A. Cire OriginalPaper 03 March 2016 Pages: 533 - 556
Range-only SLAM with indistinguishable landmarks; a constraint programming approach Luc Jaulin Application 22 October 2015 Pages: 557 - 576
Operating room management under uncertainty Jean Bertrand GauthierAntoine Legrain Application 19 November 2015 Pages: 577 - 596
Constrained global optimization for wine blending Philippe VismaraRemi ColettaGilles Trombettoni Application 23 November 2015 Pages: 597 - 615
Side-channel cryptographic attacks using pseudo-boolean optimization Yossef OrenAvishai Wool Application 07 December 2015 Pages: 616 - 645
ℚ-bounds consistency for the spread constraint with variable mean Soon Chee LoongWen-Yang KuJ. Christopher Beck Letter 02 February 2016 Pages: 646 - 652