Lam, Edward; Gange, Graeme; Stuckey, Peter J.; Van Hentenryck, Pascal; Dekker, Jip J. Nutmeg: a MIP and CP hybrid solver using branch-and-check. (English) Zbl 1459.90133 SN Oper. Res. Forum 1, No. 3, Paper No. 22, 28 p. (2020). MSC: 90C11 90C57 PDFBibTeX XMLCite \textit{E. Lam} et al., SN Oper. Res. Forum 1, No. 3, Paper No. 22, 28 p. (2020; Zbl 1459.90133) Full Text: DOI
Dekker, Jip J.; Björdal, Gustav; Carlsson, Mats; Flener, Pierre; Monette, Jean-Noël Auto-tabling for subproblem presolving in MiniZinc. (English) Zbl 1425.68386 Constraints 22, No. 4, 512-529 (2017). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{J. J. Dekker} et al., Constraints 22, No. 4, 512--529 (2017; Zbl 1425.68386) Full Text: DOI