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