PA163: e-materiály

PA163 Programování s omezujícími podmínkami

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://cswww.essex.ac.uk/Research/CSP/edward/FCS.html

Apt, K. Principles of Constraint Programming. Cambridge University Press, 2003.
http://homepages.cwi.nl/~apt/pcp/

Části: Základní pojmy a charakteristiky. Problém splňování podmínek. Příklady a modelování. Optimalizační problém, příklady. Složitost CSP.

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:Logické programování s omezujícími podmínkami: příklady.

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á, 2016.

	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://cswww.essex.ac.uk/Research/CSP/edward/FCS.html
	Apt, K. Principles of Constraint Programming. Cambridge University Press, 2003. http://homepages.cwi.nl/~apt/pcp/ Části: Základní pojmy a charakteristiky. Problém splňování podmínek. Příklady a modelování. Optimalizační problém, příklady. Složitost CSP.
	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:Logické programování s omezujícími podmínkami: příklady.
	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í.