- Constraintové modely pro sekvenční plánování2009 | Matematicko-fyzikální fakulta
- Flexibilní constraintový model pro validaci plánů s akcemi s délkou trvání2005 | Matematicko-fyzikální fakulta
- Přepracované constraintové modely pro plánovací problémy2009 | Matematicko-fyzikální fakulta
- Vylepšení constraintových modelů pro plánovací problémy +12009 | Matematicko-fyzikální fakulta
- A Novel Constraint Model for Parallel Planning2011 | 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
- Vylepšení modelů s podmínkami pro plánovací problémy2008 | Matematicko-fyzikální fakulta
- Modely s podmínkami pro komplexní stavové přechody2007 | Matematicko-fyzikální fakulta
- Nový model s podmínkami pro paralelní plánování2010 | Matematicko-fyzikální fakulta
- On Constraint Models for Parallel Planning: The Novel Transition Scheme2011 | Matematicko-fyzikální fakulta
- Vylepšování CSP modelů pro plánovací problémy2008 | UNIVERZITA KARLOVA
- Modely s podmínkami pro stavové přechody v disjunktivních zdrojích2007 | Matematicko-fyzikální fakulta
- Model s podmínkami pro stavové přechody v disjunktivních zdrojíchPublikace bez příslušnosti k fakultě
- Model s podmínkami pro stavové přechody v disjunktivních zdrojích +12006 | Matematicko-fyzikální fakulta
- Integrace constraintových modelů pro sekvenční a částečně uspořádané plánování2009 | Matematicko-fyzikální fakulta
- Modely s podmínkami pro uvažování o unifikaci v induktivním logickém programování2010 | Matematicko-fyzikální fakulta
- A Flexible Constraint Model for Validating Plans with Durative Actions2004 | Matematicko-fyzikální fakulta
- Dynamic Constraint Models for Planning and Scheduling Problems2000 | Matematicko-fyzikální fakulta
- Dynamic Constraint Models for Complex Production Environments1999 | Matematicko-fyzikální fakulta
- Formulating the template ILP consistency problem as a constraint satisfaction problem2013 | Matematicko-fyzikální fakulta
- The thermal and orbital evolution of Enceladus: observational constraints and models2018 | Matematicko-fyzikální fakulta
- Search for dark matter in association with a Higgs boson decaying to b-quarks in pp collisions at root s=13 TeV with the ATLAS detector2017 | Matematicko-fyzikální fakulta
- Modelling Resource Transitions in Constraint-Based Scheduling2002 | Publikace bez příslušnosti k fakultě
- Effective Modeling with Constraints2005 | Matematicko-fyzikální fakulta
- Efektivní modelování s omezujícími podmínkami2005 | Matematicko-fyzikální fakulta
- Udržování stavů v plánování v prostoru plánů z perspektivy CP2006 | Matematicko-fyzikální fakulta
- Computing Explanations for the Unary Resource Constraints2005 | Matematicko-fyzikální fakulta