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 |
| -- |
