Článek popisuje, jak zlepšit constraintové modely pro plánovací problémy pomocí technik liftingu, dominančních pravidel a jednotkové konzistence.