Vybrané úlohy celočíselného programovania a ich softvérové riešenie diplomová práca - Kubíková, Radka (2024)