Publikace na Matematicko-fyzikální fakulta |
2008
Abstrakt
Článek pojednává o temporálních podmínkách v temporálních sítích s alternativami. Ukazuje, že temporální uvažovaní je NP-úplné, a je zde navrženo několik algoritmů pro temporální propagace (úplné i neúplné).