ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "SAT-based"
SAT-based
Osoba
Předměty
Osoby
Publikace
Studium
Mgr. Kristýna Pantůčková
Akademický pracovník na Matematicko-fyzikální fakulta
3 publikace
Publikace
publication
Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint
2023 |
Matematicko-fyzikální fakulta
publication
Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans
2023 |
Matematicko-fyzikální fakulta
publication
Compilation-Based Approaches to Parallel Planning: An Empirical Comparison
2021 |
Matematicko-fyzikální fakulta
Loading network view...