- Recenze knih: Constraint Processing, Handbook of Constraint Programming2008 | Matematicko-fyzikální fakulta
- Constraintové modely pro sekvenční plánování2009 | Matematicko-fyzikální fakulta
- Zkušenosti ergoterapeutů a fyzioterapeutů s metodami Constraint-induced Movement Therapy: využití v telerehabilitaciPublikace bez příslušnosti k fakultě
- 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
- Computing explanations for the unary resource constraint2005 | Matematicko-fyzikální fakulta
- Constraint management jako účinný nástroj aplikace knowledge managementu v podnikové praxiPublikace bez příslušnosti k fakultě
- Složitost jazyků s rovností +22006 | Matematicko-fyzikální fakulta
- Vylepšení constraintových modelů pro plánovací problémy2009 | Matematicko-fyzikální fakulta
- Constraint solversPublikace bez příslušnosti k fakultě
- Constraint processing2005 | Matematicko-fyzikální fakulta
- Zpracování podmínek2008 | Matematicko-fyzikální fakulta
- Lokálně konzistentní CSP s binárními omezujícími podmínkami +12005 | Matematicko-fyzikální fakulta
- Principy zpracování podmínek2008 | Matematicko-fyzikální fakulta
- Constraint qualifications and optimality conditions for optimization problems with cardinality constraints2016 | Publikace bez příslušnosti k fakultě
- History of Constraint Programming2011 | Matematicko-fyzikální fakulta
- Efektivní modelování s omezujícími podmínkami2005 | Matematicko-fyzikální fakulta
- Globální podmínky v rozvrhování2007 | Matematicko-fyzikální fakulta
- Reformulace CSP modelů pro klasické plánování2008 | UNIVERZITA KARLOVA
- UCL - Universal Constraint Language2014 | Matematicko-fyzikální fakulta
- Popis a ověřování integritních omezení v XML pomocí OCL2012 | Matematicko-fyzikální fakulta
- A Lower Bound on CNF Encodings of the At-Most-One Constraint2017 | Matematicko-fyzikální fakulta
- A lower bound on CNF encodings of the at-most-one constraint2019 | Matematicko-fyzikální fakulta
- Omezující podmínky: od Sudoku po vesmírné aplikace2007 | Matematicko-fyzikální fakulta
- Ordinální klasifikace s monotonními omezeními2006 | Matematicko-fyzikální fakulta
- A Novel Constraint Model for Parallel Planning2011 | Matematicko-fyzikální fakulta
- Splňování podmínek pro plánování a rozvrhování2005 | Matematicko-fyzikální fakulta