Abstrakt
Práce se zabývá řešením rozvrhovacích problémů pomocí technologie splňování omezujících podmínek, konkrétně návrhem filtračních algoritmů pro globální podmínky modelující zdroje. Hlavními výsledky předložené práce jsou návrh nových datových struktur Theta-strom a Theta-Lambda-strom a jejich využití v řadě nových filtračních algoritmů pro unární zdroje a rozšíření těchto algoritmů pro práci s tzv. volitelnými aktivitami a pro dávkové zpracování s nastavovacími časy.