Publikace na Matematicko-fyzikální fakulta |
2008
Abstrakt
Článek navrhuje tři vylepšení modelu s podmínkami pro řešení plánovacích problémů. Jedná se o rozbití symetrií v modelu, využití jednotkové konzistence pro filtraci nepoužitelných akcí v plánu a liftování pro zmenšení větvícího faktoru při plánování.