ramka nawigacyjna

Marcin Kozik

Lista publikacji:

22.
Weak consistency notions for all CSPs of bounded width, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16) (2016), 633-641
20.
Algebraic Properties of Valued Constraint Satisfaction Problem, LECTURE NOTES IN COMPUTER SCIENCE vol. 9134 (2015), 846-858
16.
Robust Satisfiability of Constraint Satisfaction Problems, Proceedings of the 44th ACM Symposium on Theory of Computing, STOC'12 (2012), 931-940
15.
Near unanimity constraints have bounded pathwidth duality, Proceedings of the 27th IEEE/ACM Symposium on Logic in Computer Science LICS'12 (2012), 125-134
12.
New conditions for Taylor varieties and CSP, Proceedings of the 25th IEEE/ACM Symposium on Logic in Computer Science LICS'10 (2010), 100-109
7.
Constraint Satisfaction Problems of Bounded Width, Proceedings of the 50th Symposium on Foundations of Computer Science, FOCS'09 (2009), 595-603
3.
Graphs, polymorphisms and the complexity of homomorphism problems, Proceedings of the 40th ACM Symposium on Theory of Computing, STOC'08 (2008), 789-796
1.
On-line Coloring of I_s-free graphs and co-planar graphs, Discrete Mathematics and Theoretical Computer Science Proceedings vol. AF (2006), 61-68

export publikacji do excela

Granty (realizowane po maju 2009 roku)

Tytuł Rola Rozpoczęcie Zakończenie
Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja) kierownik 2015-02-18 2018-02-17
DATALOG w Problemie Spełnialności Więzów kierownik 2011-12-07 2015-06-06
Algebraiczne podejście do Problemu Spełnialności Więzów (Constraint Satisfaction Problem) kierownik 2009-05-15 2012-05-14