Zpět na vyhledávání

Mgr. Bc. Martin Šmérek

Bachelor's thesis

Rozvrhování pomocí logického programování s omezujícími podmínkami

Scheduling with constraint logic programming
Abstract:
Práce prezentuje sadu statických a dynamických rozvrhovacích problémů řešených logickým programováním s omezujícími podmínkami. Pro každý problém je popsán jeho model, možnosti řešení a implementace. Statické problémy jsou řešeny pomocí knihovny pro práci nad konečnými doménami, dynamické problémy jsou řešeny pomocí lokálního prohledávání prostřednictvím hybridního řešiče.
Abstract:
The thesis presents set of static and dynamic scheduling problems solved by logic constraint programming. There is model, solution and implementation described for each model. Static problem are solved by finite domain solver. Dynamic problems are solved by local search with hybrid solver.
 

Keywords

Splňování podmínek logické programování s omezujícími podmínkami rozvrhování dynamické problémy
 
Language used: Czech
Date on which the thesis was submitted / produced: 19. 5. 2006
Identifier: https://is.muni.cz/th/ehtu5/

Thesis defence

  • Date of defence: 19. 6. 2006
  • Supervisor: doc. Mgr. Hana Rudová, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution