Zeitschrift für Operations-Research