Instytut Badań Operacyjnych i Nauk o Zarządzaniu