Discovering and certifying lower bounds for the online bin stretching problem (Q2089680)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Discovering and certifying lower bounds for the online bin stretching problem |
scientific article |
Statements
Discovering and certifying lower bounds for the online bin stretching problem (English)
0 references
24 October 2022
0 references
online bin stretching
0 references
online lower bound
0 references
certifying algorithms
0 references
proof assistant
0 references
