Libor Barto

HOME COCOSYM RESEARCH FOR STUDENTS

ARCHIV 21/22 zimni semestr

[Zpet]

 

NMAG111: Lineární algebra 1, zimní semestr 2021-2022

See the course website

 

 

INTRODUCTION TO COMPLEXITY OF CSP (NMAG563)

Mon 15:40 K8

Problems

References (contain a lot of spoilers):

  • survey (Barto, Krokhin, Willard): here
  • shorter survey (Barto): here (see the complexity column)
  • Krokhin's tutorial: available here
  • Another Krokhin's tutorial, a bit different topics: available here
  • My tutorial: PDF
  • Paper Bulatov, Jeavons, Krokhin: Classifying the Complexity of Constraints Using Finite Algebras PDF

 

 

ARCHIV

[Archiv 2020/21 letni semestr]
[Archiv 2020/21 zimni semestr]
[Archiv 2019/20 zimni semestr]
[Archiv 2018/19 letni semestr]
[Archiv 2018/19 zimni semestr]
[Archiv 2017/18 letni semestr]
[Archiv 2017/18 zimni semestr]
[Archiv 2016/17 letni semestr]
[Archiv 2016/17 zimni semestr]
[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]