![](/img/cover-not-exists.png)
Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check
Lam, Edward, Gange, Graeme, Stuckey, Peter J., Van Hentenryck, Pascal, Dekker, Jip J.Volume:
1
Journal:
SN Operations Research Forum
DOI:
10.1007/s43069-020-00023-2
Date:
September, 2020
File:
PDF, 1.99 MB
2020