- Constraint solversPublikace bez příslušnosti k fakultě
- Recenze knih: Constraint Processing, Handbook of Constraint Programming2008 | Matematicko-fyzikální fakulta
- 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
- 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
- Složitost jazyků s rovností +22008 | 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
- Constraintové modely pro sekvenční plánování2009 | 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
- An Introduction to Constraint-Based Temporal Reasoning2014 | Matematicko-fyzikální fakulta
- Složitost splnitelnosti problémů časových omezení2010 | Matematicko-fyzikální fakulta
- Techniky splňování podmínek v plánování a rozvrhování2010 | Matematicko-fyzikální fakulta
- Nový model s podmínkami pro paralelní plánování2010 | Matematicko-fyzikální fakulta
- Automatická verifikace podmínek v zahnízděných pracovních postupech2012 | Matematicko-fyzikální fakulta
- Maximální jazyky omezení s nekonečně hodnotami2007 | Matematicko-fyzikální fakulta
- Constraint satisfaction for planning and scheduling problems2011 | Matematicko-fyzikální fakulta