Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 368)
Detail práce
   Přihlásit přes CAS
Search Strategies for Scheduling Problems
Název práce v češtině: Search Strategies for Scheduling Problems
Název v anglickém jazyce: Search Strategies for Scheduling Problems
Klíčová slova: prohledávací strategie, rozvrhovací problémy, omezující podmínky, alternativní aktivity
Klíčová slova anglicky: search strategies, scheduling problems, constraints, alternative activities
Akademický rok vypsání: 2007/2008
Typ práce: diplomová práce
Jazyk práce: angličtina
Ústav: Katedra teoretické informatiky a matematické logiky (32-KTIML)
Vedoucí / školitel: prof. RNDr. Roman Barták, Ph.D.
Řešitel: skrytý - zadáno a potvrzeno stud. odd.
Datum přihlášení: 16.11.2007
Datum zadání: 16.11.2007
Datum a čas obhajoby: 30.01.2012 09:00
Datum odevzdání elektronické podoby:09.12.2011
Datum odevzdání tištěné podoby:09.12.2011
Datum proběhlé obhajoby: 30.01.2012
Oponenti: prof. RNDr. Ondřej Čepek, Ph.D.
 
 
 
Zásady pro vypracování
The goal of thesis is first surveying existing search and branching strategies for solving scheduling problems, then comparing their efficiency on selected classical problems, and finally customizing or enhancing some strategy for a new type of problems such as problems with optional activities.
Seznam odborné literatury
Roman Barták: Constraint Satisfaction for Planning and Scheduling. In Ionannis Vlahavas, Dimitris Vrakas (eds.): Intelligent Techniques for Planning, Idea Group, 2005, pp. 320-353.

Angelo Oddi, Amedeo Cesta, Nicola Policella, and Stephen F. Smith: Iterative Flattening Search for Multi-Capacity Scheduling Problems. In In Miguel A. Salido, Juan Fdez-Olivares (Eds.) Planning, Scheduling and Constraint Satisfaction, Universidad de Salamanca, 2007, pp. 10-21.
Předběžná náplň práce
Scheduling problems are hard combinatorial problems with direct applicability in industry. For solving really hard problems, some search techniques are necessary to explore candidate schedules. This work deals with search strategies and branching schemes used to solve scheduling problems. The emphasis is on evaluating these techniques in the context of constraint-based scheduling.
 
Univerzita Karlova | Informační systém UK