Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check

Edward Lam 0001, Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck, Jip J. Dekker. Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check. Oper. Res. Forum, 1(3), 2020. [doi]

Abstract

Abstract is missing.