SMS versenden: Lokačné úlohy ako úlohy zmiešaného celočíselného linárneho programovania a ich softvérové riešenie