T-79.194 Tietojenkäsittelyteorian seminaari
Kevät 2004

vko 3 (15.1.)
Aloitusluento/IN
vko 4 (22.1.)
Chapter 2/IN
vko 5 (29.1.)
Chapter 3/IN
Esitelmät alkavat
Viikkojen 6-13 esitelmät ovat kirjasta:
Krzysztof R. Apt: Principles of Constraint Programming. Cambrigde University Press, 2003. Book contents.
vko 6 (5.2.)
Chapter 4, ss. 82-103/Tenhunen
Chapter 4, ss. 103-118/Järvenpää:
vko 7 (12.2.)
Chapter 4, ss. 118-131/Malinen
Chapter 5, ss. 135-155/Lindqvist
vko 8
Ei seminaaria
vko 9 (26.2.)
Chapter 5, ss. 155-175/Aatrokoski
Chapter 6, ss. 178-196/Anderson
vko 10 (4.3.)
Chapter 6, ss. 196-211/Parviainen
Chapter 6, ss. 211-227/Falck
vko 11 (11.3.)
Chapter 6, ss. 227-245/Honkola
Chapter 7, ss. 254-273/Särelä
vko 12 (18.3.)
Chapter 7, ss. 273-290/Ruohonen
Chapter 8, ss. 299-315/Terhivuo
vko 13 (25.3.)
Chapter 8, ss. 315-332/Meri
Chapter 8, ss. 332-347/Salmela
vko 14 (1.4.)
Philippe Jegou and Cyril Terrioux, Hybrid backtracking bounded by tree-decomposition of constraint networks, Artificial Intelligence Volume 146, Issue 1, pp. 43-75; sivut 43-56/Oikarinen
vko 15 (pääsiäisloma)
W.J. van Hoeve, The alldifferent Constraint: A Survey, sivut 1-19/EI ESITELMÄÄ
Kostas Stergiou and Toby Walsh, Encodings of Non-binary Constraint Satisfaction Problems
 Proceedings of AAAI-99, 1999./EI ESITELMÄÄ
vko 16 (15.4.)
Javier Larrosa and Rina Dechter, Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems, Link (to be published in the Constraint Journal, 2002); sivut 1-12/Järvisalo
Eugene C. Freuder and Richard J. Wallace, Partial constraint satisfaction, Artificial Intelligence Volume 58, Issues 1-3, (December 1992) pp. 21-70 [PS]; alusta lukuun 2.4 asti/Seppälä
vko 17 (22.4.)
vko 18 (29.4.)
Chapter 9/IN