Nutmeg: a MIP and CP hybrid solver using branch-and-check (Q2226478)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nutmeg: a MIP and CP hybrid solver using branch-and-check |
scientific article |
Statements
Nutmeg: a MIP and CP hybrid solver using branch-and-check (English)
0 references
8 February 2021
0 references
mixed integer programming
0 references
constraint programming
0 references
hybridization
0 references
branch-and-check
0 references
logic-based Benders decomposition
0 references
conflict analysis
0 references
nogood
0 references
lazy clause generation
0 references
linear constraints
0 references
dual bound
0 references
0 references