Publikace na Matematicko-fyzikální fakulta |
2006
Abstrakt
Práse se zabývá řešením rozvrhovacích problémů pomocí technik splňování omezujících podmínek. Článek představuje nová inkrementální propagační pravidla pro zmenšení časových oken aktivit alokovaných na disjunktivní zdroje. Navržená pravidla používají informaci o precedencích mezi aktivitami a umožňují práci s volitelnými aktivitami.