Systém Kalis a využitie logických podmienok v optimalizačných úlohách - Murčová, Veronika (2013)
Vedoucí práce: Josef Jablonský