- Techniky splňování podmínek v plánování a rozvrhování2010 | Matematicko-fyzikální fakulta
- Paralelní plánování jako problém splňování podmínek2011 | Matematicko-fyzikální fakulta
- Nové trendy ve splňování podmínek, plánování a rozvrhování2010 | 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ě
- Kombinatorická verse domněnky dichotomie pro problémy omezeného splnování.2010 | Matematicko-fyzikální fakulta
- Použití splňování podmínek pro učení se hypotéz v induktivním logickém programování2010 | Matematicko-fyzikální fakulta
- Formulace problému konzistence vzoru v induktivním logick ém programování metodou splňování podmínek2010 | Matematicko-fyzikální fakulta
- Řešení problémů sekvenčního plánování technikou splňování podmínek2010 | Matematicko-fyzikální fakulta
- Splňování podmínek pro plánování a rozvrhování2005 | Matematicko-fyzikální fakulta
- Řešení problému alokace rotací na letadla použítím splňování omezujících podmínek2010 | Matematicko-fyzikální fakulta
- Plánování efektivního přenos dat mezi počítači pro datově náročné aplikace použitím technik splňování podmínek2010 | Matematicko-fyzikální fakulta
- Globální filtrace pro splňování cílů v sítích se vzájemným vylučováním2008 | Matematicko-fyzikální fakulta
- Globální filtrace pro splňování cílů v sítích vzájemného vyloučení2008 | 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
- Omezená plná hranová konzistence pro vážené problémy splňování podmínek2006 | Matematicko-fyzikální fakulta
- Vylepšený algoritmus pro udržování hranové konzistence v dynamických problémech splňování podmínek2005 | Matematicko-fyzikální fakulta
- CP/ICAPS 2008 Workshop o technikách splňování podmínek pro plánovací a rozvrhovací problémyPublikace bez příslušnosti k fakultě
- Problém stabilního párování se soukromými preferencemi a nový rámec pro distribuované splňování podmínek2005 | Matematicko-fyzikální fakulta
- Třída problémů splňování cíle v sítích vzájemného vyloučení řešitelných v polynomiálním čase2008 | 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
- Barvení, splňování omezujících podmínek a složitost2008 | Matematicko-fyzikální fakulta
- Integrace AI a OR technik ve splňování podmínek pro kombinatorické optimalizační problémy2005 | Matematicko-fyzikální fakulta
- Nový model s podmínkami pro paralelní plánování2010 | Matematicko-fyzikální fakulta
- Mezinarodní konference o integraci AI a OR technik ve splňování podmínek pro problémy kombinatorické optimalizacePublikace bez příslušnosti k fakultě
- Automatická verifikace podmínek v zahnízděných pracovních postupech2012 | 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
- Omezená plná hranová konzistence2006 | Matematicko-fyzikální fakulta