- Použití konečných automatů pro modelování a řešení plánovacích problémů2010 | Matematicko-fyzikální fakulta
- Vylepšení constraintových modelů pro plánovací problémy +12009 | Matematicko-fyzikální fakulta
- Přepracované constraintové modely pro plánovací problémy2009 | Matematicko-fyzikální fakulta
- Vylepšování CSP modelů pro plánovací problémy2008 | UNIVERZITA KARLOVA
- Kódování plánovacích problemů a jejich optimalizací v lineární logice +12009 | Matematicko-fyzikální fakulta
- Vylepšení modelů s podmínkami pro plánovací problémy2008 | Matematicko-fyzikální fakulta
- Kódování plánovacích problémů a jejich optimalizace v lineární logice2009 | Matematicko-fyzikální fakulta
- Hledání plánovacích problémů řešitelných v polynomiálním čase skrze zkoumání struktur akčních závislostí2008 | Matematicko-fyzikální fakulta
- Reformulace plánovacích problémů pomocí eliminace nadbytečných akcí2009 | Matematicko-fyzikální fakulta
- Constraintové modely pro sekvenční plánování2009 | Matematicko-fyzikální fakulta
- Řešení problémů sekvenčního plánování technikou splňování podmínek2010 | Matematicko-fyzikální fakulta
- Integrace času a zdrojů do plánování2010 | Matematicko-fyzikální fakulta
- Paralelní plánování jako problém splňování podmínek2011 | Matematicko-fyzikální fakulta
- Udržování stavů v plánování v prostoru plánů z perspektivy CP2006 | Matematicko-fyzikální fakulta
- Generování makro-operátorů pomocí prozkoumání závislosti skcí v plánech2010 | Matematicko-fyzikální fakulta
- Reformulace CSP modelů pro klasické plánování2008 | UNIVERZITA KARLOVA
- Reformulace modelů s podmínkami pro klasické plánování2008 | Matematicko-fyzikální fakulta
- Projektivní globální konzistence: aplikace v plánování pro umělou inteligenci2007 | Matematicko-fyzikální fakulta