Prohlížení dle předmětu "invariant"
Zobrazují se záznamy 1-1 z 1
-
Invarianty vzájemného vyloučení v klasickém plánování
; Vedoucí práce: Komenda Antonín; Oponent práce: Hoffmann Jörg
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-07-07)ešením problémů v klasickém plánování je sekvence operátorů vedoucí z iniciálního stavu do jednoho z cílových stavů. roblémy v klasickém plánování jsou popsány doménově-nezávisle, takže utomatická extrakce strukturálních ...