- Řešení problému alokace rotací na letadla použítím splňování omezujících podmínek2010 | Matematicko-fyzikální fakulta
- Úvod do technik splňování omezujících podmínek v plánování a rozvrhování2008 | Matematicko-fyzikální fakulta
- Kódování hierarchického plánování jako problém splňování omezujících podmínek2005 | Matematicko-fyzikální fakulta
- Barvení, splňování omezujících podmínek a složitost2008 | Matematicko-fyzikální fakulta
- Úvod do speciálního čísla časopisu Archives of Control Sciences o splňování omezujících podmínek v plánování a rozvrhování +12008 | Matematicko-fyzikální fakulta
- Omezující podmínky: od Sudoku po vesmírné aplikace2007 | Matematicko-fyzikální fakulta
- Principy zpracování podmínek2008 | Matematicko-fyzikální fakulta
- Omezující podmínky v plánování a rozvrhováníPublikace bez příslušnosti k fakultě
- Rozvrhování předmětů pomocí omezujících podmínekPublikace bez příslušnosti k fakultě
- Zpracování podmínek2008 | Matematicko-fyzikální fakulta
- Splňování podmínek pro plánování a rozvrhování2005 | Matematicko-fyzikální fakulta
- COPLAS 2010: Workshop o technikách splňování podmínek v plánování a rozvrhováníPublikace bez příslušnosti k fakultě
- Úvod do speciálního čísla o technikách omezujících podmínek pro plánovací a rozvrhovací problémy2008 | Matematicko-fyzikální fakulta
- Programování s omezujícími podmínkami - na cestě ke svatému grálu2000 | Matematicko-fyzikální fakulta
- Generování implikovaných Boolean podmínek pomocí jednotkové konzistence +12007 | Matematicko-fyzikální fakulta
- Omezená přiřazení: Nová ořezávací strategie pro neúplné prohledávání do hloubky2005 | Matematicko-fyzikální fakulta
- Inkrementální propagace časových oken na disjunktivních zdrojích2006 | Matematicko-fyzikální fakulta
- Model s podmínkami pro stavové přechody v disjunktivních zdrojích2006 | Matematicko-fyzikální fakulta
- Globální podmínky v rozvrhování2007 | Matematicko-fyzikální fakulta
- Automatická verifikace podmínek v zahnízděných pracovních postupech2012 | Matematicko-fyzikální fakulta