Journal: Constraints

Volume 21, Issue 4

435 -- 462Michele Lombardi, Stefano Gualandi. A lagrangian propagator for artificial neural networks in constraint programming
463 -- 494Milan Bankovic. Extending SMT solvers with support for finite domain alldifferent constraint
495 -- 532Nina Narodytska, Thierry Petit, Mohamed Siala 0002, Toby Walsh. Three generalizations of the FOCUS constraint
533 -- 556David Bergman, André Augusto Ciré. Theoretical insights and algorithmic tools for decision diagram-based optimization
557 -- 576Luc Jaulin. Range-only SLAM with indistinguishable landmarks; a constraint programming approach
577 -- 596Jean Bertrand Gauthier, Antoine Legrain. Operating room management under uncertainty
597 -- 615Philippe Vismara, Remi Coletta, Gilles Trombettoni. Constrained global optimization for wine blending
616 -- 645Yossef Oren, Avishai Wool. Side-channel cryptographic attacks using pseudo-boolean optimization
646 -- 652Soon Chee Loong, Wen-Yang Ku, J. Christopher Beck. ℚ-bounds consistency for the spread constraint with variable mean