Sledovat
Marcin Kozik
Marcin Kozik
Professor of Computer Science, Jagiellonian University
E-mailová adresa ověřena na: uj.edu.pl
Název
Citace
Citace
Rok
The CSP dichotomy holds for digraphs with no sources and no sinks (a positive answer to a conjecture of Bang-Jensen and Hell)
L Barto, M Kozik, T Niven
SIAM Journal on Computing 38 (5), 1782-1802, 2009
1922009
Constraint satisfaction problems of bounded width
L Barto, M Kozik
2009 50th Annual IEEE Symposium on Foundations of Computer Science, 595-603, 2009
1822009
Constraint satisfaction problems solvable by local consistency methods
L Barto, M Kozik
Journal of the ACM (JACM) 61 (1), 1-19, 2014
1692014
Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem
M Kozik, L Barto
Logical Methods in Computer Science 8, 2012
1332012
Characterizations of several Maltsev conditions
M Kozik, A Krokhin, M Valeriote, R Willard
Algebra universalis 73 (3), 205-224, 2015
692015
Robust satisfiability of constraint satisfaction problems
L Barto, M Kozik
Proceedings of the forty-fourth annual ACM symposium on Theory of computing …, 2012
482012
On the scope of the universal-algebraic approach to constraint satisfaction
M Hils, M Bodirsky, B Martin
Logical Methods in Computer Science 8, 2012
402012
Graphs, polymorphisms and the complexity of homomorphism problems
L Barto, M Kozik, T Niven
Proceedings of the fortieth annual ACM symposium on Theory of computing, 789-796, 2008
382008
Algebraic properties of valued constraint satisfaction problem
M Kozik, J Ochremiak
International Colloquium on Automata, Languages, and Programming, 846-858, 2015
342015
New conditions for Taylor varieties and CSP
L Barto, M Kozik
2010 25th Annual IEEE Symposium on Logic in Computer Science, 100-109, 2010
312010
CSP dichotomy for special triads
L Barto, M Kozik, M Maróti, T Niven
Proceedings of the American Mathematical Society 137 (9), 2921-2934, 2009
312009
Absorption in universal algebra and CSP
L Barto, M Kozik
Wadern: Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2017
302017
Near unanimity constraints have bounded pathwidth duality
L Barto, M Kozik, R Willard
2012 27th Annual IEEE Symposium on Logic in Computer Science, 125-134, 2012
302012
Congruence distributivity implies bounded width
L Barto, M Kozik
SIAM Journal on Computing 39 (4), 1531-1542, 2010
292010
Robustly solvable constraint satisfaction problems
L Barto, M Kozik
SIAM Journal on Computing 45 (4), 1646-1669, 2016
272016
Absorption and directed Jónsson terms
A Kazda, M Kozik, R McKenzie, M Moore
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer …, 2018
262018
Mal’tsev conditions, lack of absorption, and solvability
L Barto, M Kozik, D Stanovský
Algebra universalis 74 (1), 185-206, 2015
262015
Weak consistency notions for all the CSPs of bounded width
M Kozik
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-9, 2016
242016
Dichotomy for symmetric boolean PCSPs
M Ficak, M Kozik, M Olsák, S Stankiewicz
arXiv preprint arXiv:1904.12424, 2019
202019
A finite set of functions with an EXPTIME-complete composition problem
M Kozik
Theoretical Computer Science 407 (1-3), 330-341, 2008
192008
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20