Discovering and certifying lower bounds for the online bin stretching problem (Q2089680)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Discovering and certifying lower bounds for the online bin stretching problem |
scientific article; zbMATH DE number 7605950
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Discovering and certifying lower bounds for the online bin stretching problem |
scientific article; zbMATH DE number 7605950 |
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
