Nutmeg : a MIP and CP hybrid solver using branch-and-check
Edward Lam, Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck, Jip J. Dekker
| Year of publication: |
2020
|
|---|---|
| Authors: | Lam, Edward ; Gange, Graeme ; Stuckey, Peter J. ; Van Hentenryck, Pascal ; Dekker, Jip J. |
| Published in: |
Operations research forum. - Cham : Springer International Publishing, ISSN 2662-2556, ZDB-ID 2978290-9. - Vol. 1.2020, 3, Art.-No. 22, p. 1-27
|
| Subject: | Mixed integer programming | Constraint programming | Hybridization | Branch-and-check | Logic-based Benders decomposition | Conflict analysis | Nogood | Lazy clause generation | Linear constraints | Dual bound | Mathematische Optimierung | Mathematical programming | Theorie | Theory | Dekompositionsverfahren | Decomposition method | Ganzzahlige Optimierung | Integer programming |
| Type of publication: | Article |
|---|---|
| Type of publication (narrower categories): | Aufsatz in Zeitschrift ; Article in journal |
| Language: | English |
| Other identifiers: | 10.1007/s43069-020-00023-2 [DOI] |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://ebvufind01.dmz1.zbw.eu/10012306330