Zastosowanie technik programowania z ograniczeniami do rozstrzygania konfliktów zasobowych w ESP