Článek popisuje vylepšení constraintového modelu pro řešení plánovacích problémů pomocí technik jako je odstranění symetrií, jednotková konzistence, nogoods a liftování.