dr hab. Marcin Kozik, prof. UJ

Jednostki:

  • Wydział Matematyki i Informatyki UJ
  • Instytut Informatyki Analitycznej
  • Katedra Algorytmiki

HabilitacjaOtwarcie: 2010-05-27, Zamknięcie: 2011-01-13

Publikacje:

33.
Marcin Kozik, Libor Barto, Michael Pinsker, Bertalan Bodor, Antoine Mottet
Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing, IEEE Symposium on Logic in Computer Science [LICS] vol. brak (2023), 1-13
32.
Libor Barto, Marcin Kozik
Combinatorial Gap Theorem and Reductions between Promise CSPs, ACM/SIAM Symposium on Discrete Algorithms [SODA], (2022), pp.1204 - 1220
31.
Libor Barto, Zarathustra Brady , Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk
Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP, IEEE Symposium on Logic in Computer Science [LICS] vol. 1 (2021), 1-13
29.
Libor Barto, Tan Johnson, Marcin Kozik, Matthew Valeriote
Sensitive Instances of the Constraint Satisfaction Problem, International Colloquium on Automata Languages and Programming [ICALP](MAIN), (2020), 110:1-110:18
28.
Miron Ficak, Marcin Kozik, Miroslav Olsak, Szymon Stankiewicz
Dichotomy for symmetric boolean PCSPs, International Colloquium on Automata Languages and Programming [ICALP](MAIN), (2019), 57:1-57:12
27.
Victor Dalmau, Marcin Kozik, Andrei Krokhin, Konstantin Makarychev, Yury Makarychev, Jakub Oprsal
26.
Alexandr Kazda, Marcin Kozik, Ralph McKenzie, Matthew Moore
Absorption and directed Jónsson terms, (2018), "Don Pigozzi on Abstract Algebraic Logic", Springer
25.
Libor Barto, Marcin Kozik
Absorption in Universal Algebra and CSP, (2017), "The Constraint Satisfaction Problem: Complexity and Approximability", Schloss Dagstuhl – Leibniz-Zentrum für Informatik
24.
Victor Dalmau, Marcin Kozik, Andrei Krokhin, Konstantin Makarychev, Yury Makarychev, Jakub Oprsal
Robust algorithms with polynomial loss for near-unanimity CSPs, Proceedings of the 28th Annual Acm-siam Symposium On Discrete Algorithms Soda'17 (2017), 340-357
23.
Andrei Bulatov, Marcin Kozik, Peter Mayr, Markus Steindl
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.
Marcin Kozik, Joanna Ochremiak
Algebraic Properties of Valued Constraint Satisfaction Problem, Proceedings of 42nd International Colloquium, Icalp 2015 (2015), 846-858
19.
Libor Barto, Marcin Kozik, David Stanovský
18.
Marcin Kozik, Andrei Krokhin, Matthew Valeriote, Ross Willard
16.
Libor Barto, Marcin Kozik
Robust Satisfiability of Constraint Satisfaction Problems, Proceedings of the 44th Acm Symposium On Theory of Computing, Stoc'12 (2012), 931-940
15.
Libor Barto, Marcin Kozik, Ross Willard
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.
Libor Barto, Marcin Kozik
New conditions for Taylor varieties and CSP, Proceedings of the 25th Ieee/acm Symposium On Logic in Computer Science Lics'10 (2010), 100-109
8.
Libor Barto, Marcin Kozik, Miklós Maróti, Todd Niven
7.
Libor Barto, Marcin Kozik
Constraint Satisfaction Problems of Bounded Width, Proceedings of the 50th Symposium On Foundations of Computer Science, Focs'09 (2009), 595-603
6.
Libor Barto, Marcin Kozik, Miklós Maróti, Ralph McKenzie, Todd Niven
3.
Libor Barto, Marcin Kozik, Todd Niven
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

Konferencje:

3.
The 46th International Colloquium on Automata, Languages and Programming (ICALP 2019), University of Patras i European Association for Theoretical Computer Science (EATCS), Patras, Grecja, 2019-07-08 - 2019-07-12
2.
The Constraint Satisfaction Problem: Complexity and Approximability, Schloss Dagstuhl Leibniz Center for Informatics, Dagstuhl, Niemcy, 2018-06-03 - 2018-06-08
1.
The Structure of Finite Algebras and the Constraint Satisfaction Problem, Banff International Research Station, Banff, Kanada, 2017-08-06 - 2017-08-13

Granty (realizowane po maju 2009 roku)

Nagrody

RokRodzajRodzaj uhonorowanej działalnościTyp 
2021nagrodainnekrajowaSzczegóły
2011nagrodaosiągnięcia będące podstawą nadania stopnia doktora habilitowanegokrajowaSzczegóły