Systém Kalis a využitie logických podmienok v optimalizačných úlohách - Murčová, Veronika (Bakalářská práce (Bc.)—Vysoká škola ekonomická v Praze. Fakulta informatiky a statistiky, 2013, 2013)
Vedoucí práce: Josef Jablonský