T-79.194 Tietojenkäsittelyteorian seminaari (2 ov) VL

Kevät 2003

Edelliset vuodet: [Kevät 2002] [Kevät 2001]

Tämä on pääaineen vaihtuvasisältöinen opintojakso, jonka aiheena keväällä 2003 on lauselogiikan toteutuvuustarkastusmenetelmät.

• Vastaava opettaja: Prof. Ilkka Niemelä, TB337, puh. 451 3290, email: Ilkka.Niemela@hut.fi
• Kurssi suoritetaan seminaarimuotoisesti
• Seminaaritilaisuudet: torstaisin klo 12.15-15.00, sali TB353
• Kurssiesite
• Kurssin esittelyluennon kalvot [ps]
• Kertausta
  • lauselogiikasta [ps],
  • lauselogiikan ratkaisumenetelmistä (erityisesti DP-menetelmästä) [ps] sekä
  • toteutuvuusongelman laskennallisesta vaativuudesta ja sovellutuksista [ps]
  Katso lisää opintojaksoilta T-79.144 ja T-79.154
• Ohjeita kurssin suorittamiseen
• Ohjeita kurssin kokeelliseen osuuteen
• Esitelmäaiheita
• Ohjelma ja esitelmät
• Mielenkiintoisia linkkejä
  • SAT Live!
  • SAT Competitions
  • SAT 2002 - Fifth International Symposium on the Theory and Applications of Satisfiability Testing
• Taustamateriaalia
  • Jun Gu, Paul W. Purdom, John Franco, and Benjamin Wah: Algorithms for the Satisfiability Problem: A Survey [ps.gz]
  • Ian P. Gent and Toby Walsh: The Search For Satisfaction [ps]
  • Finding Hard Instances of the Satisfiability Problem: A Survey, Stephen A. Cook and David G. Mitchell, In: Satisfiability Problem: Theory and Applications. Du, Gu and Pardalos (Eds). DIMACS Series in Discrete Mathamatics and Theoretical Computer Science, Volume 35, 1997. [ps]
  • J. N. Hooker, Testing heuristics: We have it all wrong, Journal of Heuristics 1 (1996) 33-42. [link]
  • J.M. Crawford and L.D. Auton. Experimental Results on the Crossover Point in Random 3SAT, Artificial Intelligence 81 (1996) 1-2, 31-57. [ps]