Title: Progress in operations research