Elektronicky dostupné materiály
-
Dechter R. Přednáška na University of California at Irvine, kapitoly z knihy Constraint Processing, 2001.
http://www.ics.uci.edu/~dechter/books/
Části: Hranová konzistence. Konzistence po
cestě, k-konzistence. Směrová konzistence. Šířka grafu a stupeň
konzistence. Stavový prostor a prohledávací algoritmy. Backtracking. Pohled
dopředu. Pohled zpět. Srovnání prohledávacích algoritmů.
Optimalizace, soft omezení a algorimy: prohledávání (částečně).
- Tsang, E.P.K.,
Foundations of Constraint Satisfaction,
Academic Press, London and San Diego, 1993
http://www.bracil.net/edward/FCS.html
- Barták R. Přednáška na MFF UK, Praha.
http://kti.ms.mff.cuni.cz/~bartak/podminky/#prednaska
Části: Globální podmínky. Lokální prohledávání. Logické
programování s omezujícími podmínkami: globální omezení.
- R. Barták, Practical Constraints: A Tutorial on Modelling with
Constraints. V J. Figwer (ed.) Proceedings of the 5th Workshop on Constraint
Programming for Decision and Control (CPDC 2003). Gliwice, 2003.
http://kti.ms.mff.cuni.cz/~bartak/downloads/CPDC2003.pdf
Části:Modelování, příklady.
- Laborie P., Introduction to CP Optimizer for Scheduling. Tutoriál
prezentovaný na
27th International Conference on Automated Planning and Scheduling, 2017.
http://icaps17.icaps-conference.org/tutorials/#tut3,
video
na youtube
Části:ILOG IBM CP Optimizer
- Rudová, H. Constraint satisfaction with preferences.
PhD thesis, FI MU, 2001.
http://www.fi.muni.cz/~hanka/doc/phd.pdf
Části:Optimalizace, soft omezení: přístupy k řešení.
Hana Rudová, 2019.