Přehled použití technik splňování omezujících podmínek při řešení plánovacích a rozvrhovacích problémů.