Rozvrhování pomocí logického programování s omezujícími podmínkami – Mgr. Bc. Martin Šmérek
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.
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
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Porovnání systémů pro programování s omezujícími podmínkami
Miroslava Plachá -
Generování Sudoku s využitím metod lineárního programování
Jan Procházka -
Použití programování s omezujícími podmínkami při řešení diskrétních úloh
Jitka Janečková -
Knihovna algoritmů pro řešení dynamických problémů
Jiří Rousek -
Rozvrhování a evidence pracovní doby
Diana Wieczorková -
Rozvrhování zaměstnanců ve vědeckém zábavním centru
Ondřej Hlouša -
Rozvrhování pro zážitkovou cestovní kancelář
Ludvík Hájek -
Rozvrhování státních zkoušek na Fakultě informatiky
Roman Lacko