Discovering and certifying lower bounds for the online bin stretching problem
scientific article; zbMATH DE number 7605950