Kompilační přístupy k automatickému plánování
| Thesis title in Czech: |
Kompilační přístupy k automatickému plánování |
| Thesis title in English: |
Compilation Approaches to Automated Planning |
| Academic year of topic announcement: |
2021/2022 |
| Thesis type: |
Bachelor's thesis |
| Thesis language: |
|
| Department: |
Department of Theoretical Computer Science and Mathematical Logic (32-KTIML) |
| Supervisor: |
prof. RNDr. Roman Barták, Ph.D. |
| Author: |
|
| Guidelines |
| The task is to implement (and perhaps improve) existing models of planning problems using SAT/MIP/CP and experimentally compare the models. |
