Workshop o aplikaci technik splňování omezujících podmínek při řešení plánovacích a rozvrhovacích problémů