Loong, Soon Chee; Ku, Wen-Yang; Beck, J. Christopher \(\mathbb{Q}\)-bounds consistency for the spread constraint with variable mean. (English) Zbl 1368.90109 Constraints 21, No. 4, 646-652 (2016). MSC: 90C10 PDF BibTeX XML Cite \textit{S. C. Loong} et al., Constraints 21, No. 4, 646--652 (2016; Zbl 1368.90109) Full Text: DOI
Oren, Yossef; Wool, Avishai Side-channel cryptographic attacks using pseudo-Boolean optimization. (English) Zbl 1368.94121 Constraints 21, No. 4, 616-645 (2016). MSC: 94A60 90C09 90C90 PDF BibTeX XML Cite \textit{Y. Oren} and \textit{A. Wool}, Constraints 21, No. 4, 616--645 (2016; Zbl 1368.94121) Full Text: DOI
Vismara, Philippe; Coletta, Remi; Trombettoni, Gilles Constrained global optimization for wine blending. (English) Zbl 1368.90133 Constraints 21, No. 4, 597-615 (2016). MSC: 90C26 90C11 90C90 PDF BibTeX XML Cite \textit{P. Vismara} et al., Constraints 21, No. 4, 597--615 (2016; Zbl 1368.90133) Full Text: DOI
Gauthier, Jean Bertrand; Legrain, Antoine Operating room management under uncertainty. (English) Zbl 1368.90147 Constraints 21, No. 4, 577-596 (2016). MSC: 90C30 90C15 90C90 PDF BibTeX XML Cite \textit{J. B. Gauthier} and \textit{A. Legrain}, Constraints 21, No. 4, 577--596 (2016; Zbl 1368.90147) Full Text: DOI
Jaulin, Luc Range-only SLAM with indistinguishable landmarks; a constraint programming approach. (English) Zbl 1368.90108 Constraints 21, No. 4, 557-576 (2016). MSC: 90C10 90C35 90C90 PDF BibTeX XML Cite \textit{L. Jaulin}, Constraints 21, No. 4, 557--576 (2016; Zbl 1368.90108) Full Text: DOI
Bergman, David; Cire, Andre A. Theoretical insights and algorithmic tools for decision diagram-based optimization. (English) Zbl 1368.90105 Constraints 21, No. 4, 533-556 (2016). MSC: 90C10 PDF BibTeX XML Cite \textit{D. Bergman} and \textit{A. A. Cire}, Constraints 21, No. 4, 533--556 (2016; Zbl 1368.90105) Full Text: DOI
Narodytska, Nina; Petit, Thierry; Siala, Mohamed; Walsh, Toby Three generalizations of the FOCUS constraint. (English) Zbl 1368.90110 Constraints 21, No. 4, 495-532 (2016). MSC: 90C10 PDF BibTeX XML Cite \textit{N. Narodytska} et al., Constraints 21, No. 4, 495--532 (2016; Zbl 1368.90110) Full Text: DOI
Banković, Milan Extending SMT solvers with support for finite domain alldifferent constraint. (English) Zbl 1409.68266 Constraints 21, No. 4, 463-494 (2016). MSC: 68T20 PDF BibTeX XML Cite \textit{M. Banković}, Constraints 21, No. 4, 463--494 (2016; Zbl 1409.68266) Full Text: DOI
Lombardi, Michele; Gualandi, Stefano A Lagrangian propagator for artificial neural networks in constraint programming. (English) Zbl 1368.90148 Constraints 21, No. 4, 435-462 (2016). MSC: 90C30 68T05 PDF BibTeX XML Cite \textit{M. Lombardi} and \textit{S. Gualandi}, Constraints 21, No. 4, 435--462 (2016; Zbl 1368.90148) Full Text: DOI