TY - GEN AU - BOCEWICZ,Grzegorz, Politechnika Koszalińska - Wydział Elektroniki i Informatyki ED - Automation 2007 TI - Harmonogramowanie zadań i rozdziału zasobów jako problem spełnienia ograniczeń KW - Algorytmy KW - Materiały konferencyjne N1 - Dane z autopsji N2 - Przedstawiono możliwość formalizacji zagadnienia harmonogramowania zadań i rozdziału obciążeń w postaci problemu spełnienia ograniczeń Constraint Satisfation Problem (CSP). Omówiono podstawowy algorytm CSP oraz techniki propagacji ograniczeń i backtrackingu ER -