Online bin stretching lower bounds: Improved search of computational proofs.

Antoine Lhomme Olivier Romane Nicolas Catusse Nadia Brauner

Published in: CoRR (2022)

Keyphrases

lower bound
search algorithm
online learning
upper bound
online search
online algorithms
branch and bound
objective function
search space
internet search
search efficiency
branch and bound algorithm
proof search
learning algorithm
optimal cost
lower and upper bounds
search strategy
search methods
optimal solution