Zpět na vyhledávání

Mgr. Bc. Martin Šmérek

Bakalářská práce

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

Scheduling with constraint logic programming
Anotace:
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.
 

Klíčová slova

Splňování podmínek logické programování s omezujícími podmínkami rozvrhování dynamické problémy
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 19. 5. 2006
Identifikátor: https://is.muni.cz/th/ehtu5/

Obhajoba závěrečné práce

  • Obhajoba proběhla 19. 6. 2006
  • Vedoucí: doc. Mgr. Hana Rudová, Ph.D.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce