- Globální podmínky v rozvrhování2007 | Matematicko-fyzikální fakulta
- Dynamic Global Constraints: A First View +12001 | Matematicko-fyzikální fakulta
- Attribute Grammars with Set Attributes and Global Constraints as a Unifying Framework for Planning Domain Models2017 | Matematicko-fyzikální fakulta
- Dynamic Global Constraints in Constraint Logic ProgrammingPublikace bez příslušnosti k fakultě
- Dynamic Global Constraints in Backtracking Based Environments2003 | Matematicko-fyzikální fakulta
- Computing Explanations for the Unary Resource Constraints2005 | Matematicko-fyzikální fakulta
- Počítání vysvětlení globálních podmínek pro unární zdroje2005 | Matematicko-fyzikální fakulta
- Inkrementální propagace časových oken na disjunktivních zdrojích2006 | Matematicko-fyzikální fakulta
- Generování implikovaných Boolean podmínek pomocí jednotkové konzistence +12007 | Matematicko-fyzikální fakulta