Harmonogramowanie zadań i rozdziału zasobów jako problem spełnienia ograniczeń / Paweł Sitek, Jarosław Wikarek, Grzegorz Bocewicz.
Rodzaj materiału:
ArtykułPraca zawiera: - Automation 2007 (11 ; 2007 ; Warszawa, Polska)
| Typ dokumentu | Obecna biblioteka | Sygnatura | Status | Termin zwrotu | Kod kreskowy | |
|---|---|---|---|---|---|---|
Artykuł
|
Bibliografia Prac Pracowników - BPK | 01245 (Przeglądaj półkę(Otwórz poniżej)) | Nie można wypożyczyć |
Dane z autopsji.
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.