Nutmeg: a MIP and CP hybrid solver using branch-and-check (Q2226478)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7307555
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Nutmeg: a MIP and CP hybrid solver using branch-and-check |
scientific article; zbMATH DE number 7307555 |
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
0.83408743
0 references
0.8311989
0 references
0.8303626
0 references
0 references
0.82846737
0 references
0.82756186
0 references
