Kompilační přístupy k automatickému plánování
Název práce v češtině: |
Kompilační přístupy k automatickému plánování |
Název v anglickém jazyce: |
Compilation Approaches to Automated Planning |
Akademický rok vypsání: |
2021/2022 |
Typ práce: |
bakalářská práce |
Jazyk práce: |
|
Ústav: |
Katedra teoretické informatiky a matematické logiky (32-KTIML) |
Vedoucí / školitel: |
prof. RNDr. Roman Barták, Ph.D. |
Řešitel: |
|
Zásady pro vypracování |
The task is to implement (and perhaps improve) existing models of planning problems using SAT/MIP/CP and experimentally compare the models. |
Seznam odborné literatury |
-- |