Abstrakt
Plánovací problémy se zabývají nelezením (nejkratší) sekvence akcí, která modifikuje iniciální stav světa do požadovaného stavu. Často jsou takovéto problémy řešeny pomocí specializovaných (plánovacích) algoritmů. Avšak exsitují také plánovače založené na translaci plánovacího problému do jiného formalismu, jako například splňování podmínek nebo problém boolovské splnitelnosti, kdy se pak na řešení použije obecný přístup dle daného formalismu.
Tato publikace popisuje jak vylepšit existující CSP modely pro plánování pomocí technik jako odstranění symetrií, singleton konzistence a liftování