Abstrakt
Navzdory běžné aplikace CSP technik pro řešení rozvrhovacích problémů se tyto techniky používají pouze zřídka v oblasti automatického plánování. Přestože existuje několik pokusů o aplikaci techniky splňování podmínek pro řešení plánovacích problémů, tyto techniky se nikdy nestaly dominantní pro tuto oblast, a nikdy nedosáhly úspěchů jako například plánovače založené na SAT.
V této publikaci prezentujeme názor, že existující modely CSP pro plánovací problémy nevyužívají naplno možnosti technik splňování podmínek. Proto uvádíme návrh reformulace modelů, která výrazně zlepšuje jejich efektivitu