Libor Barto

DOMU VYZKUM PRO STUDENTY

ARCHIV 16/17 zimni semestr

[Zpet]

KAFKA (NMMB551)

streda 15:40 seminarni mistnost KA

stranka

LINEARNI ALGEBRA A GEOMETRIE 1 (NMAG101)

utery 10:40 - 12:10, ctvrtek 10:40 - 12:10 M1

Stranka kurzu

INTRODUCTION TO THE COMPLEXITY OF THE CSP (NMAG563)

Tue 14:30 - 15:30 K5

Problem Set 1
Problem Set 2
Problem Set 3
Problem Set 4
Problem Set 5
Problem Set 6

References:

  • Paper Bulatov, Jeavons, Krokhin: Classifying the Complexity of Constraints Using Finite Algebras PDF
  • Krokhin's tutorial: available here
  • Another Krokhin's tutorial, a bit different topics: available here
  • My tutorial: PDF

ARCHIV

[Archiv 2015/16 letni semestr]
[Archiv 2015/16 zimni semestr]
[Archiv 2014/15 letni semestr]
[Archiv 2014/15 zimni semestr]
[Archiv 2013/14 letni semestr]
[Archiv 2013/14 zimni semestr]
[Archiv 2012/13 letni semestr]
[Archiv 2012/13 zimni semestr]
[Archiv McMaster]
[Archiv 2009/10 letni semestr]
[Archiv 2009/10 zimni semestr]
[Archiv 2008/09 letni semestr]
[Archiv 2008/09 zimni semestr]
[Archiv 2007/08 letni semestr]
[Archiv 2007/08 zimni semestr]
[Archiv 2006/07 letni semestr]
[Archiv 2006/07 zimni semestr]
[Archiv 2005/06 letni semestr]