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)
| Okładka | Typ dokumentu | Obecna biblioteka | Biblioteka macierzysta | Kolekcja | Lokalizacja | Sygnatura | Materiały określone | Nr tomu/części | URL | Numer kopii | Status | Uwagi | Termin zwrotu | Kod kreskowy | Zamówienia | Kolejka rezerwacji egzemplarzy | Kursy | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
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.
