| 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 | 192 | 2009 |
| Constraint satisfaction problems solvable by local consistency methods L Barto, M Kozik Journal of the ACM (JACM) 61 (1), 1-19, 2014 | 191 | 2014 |
| Constraint satisfaction problems of bounded width L Barto, M Kozik 2009 50th Annual IEEE symposium on foundations of computer science, 595-603, 2009 | 187 | 2009 |
| Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem L Barto, M Kozik Logical Methods in Computer Science 8, 2012 | 141 | 2012 |
| Characterizations of several Maltsev conditions M Kozik, A Krokhin, M Valeriote, R Willard Algebra universalis 73 (3-4), 205-224, 2015 | 75 | 2015 |
| Robust satisfiability of constraint satisfaction problems L Barto, M Kozik Proceedings of the forty-fourth annual ACM symposium on Theory of computing …, 2012 | 50 | 2012 |
| On the scope of the universal-algebraic approach to constraint satisfaction B Martin, M Bodirsky, M Hils Logical Methods in Computer Science 8, 2012 | 45 | 2012 |
| Algebraic properties of valued constraint satisfaction problem M Kozik, J Ochremiak Automata, Languages, and Programming: 42nd International Colloquium, ICALP …, 2015 | 38 | 2015 |
| 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 | 36 | 2008 |
| 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 | 33 | 2012 |
| 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 | 33 | 2009 |
| Absorption in universal algebra and CSP L Barto, M Kozik Wadern: Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2017 | 32 | 2017 |
| Robustly solvable constraint satisfaction problems L Barto, M Kozik SIAM Journal on Computing 45 (4), 1646-1669, 2016 | 31 | 2016 |
| New conditions for Taylor varieties and CSP L Barto, M Kozik 2010 25th Annual IEEE Symposium on Logic in Computer Science, 100-109, 2010 | 31 | 2010 |
| 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 | 30 | 2018 |
| Weak consistency notions for all the CSPs of bounded width M Kozik Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 29 | 2016 |
| Congruence distributivity implies bounded width L Barto, M Kozik SIAM Journal on Computing 39 (4), 1531-1542, 2010 | 29 | 2010 |
| Dichotomy for symmetric boolean PCSPs M Ficak, M Kozik, M Olsák, S Stankiewicz arXiv preprint arXiv:1904.12424, 2019 | 26 | 2019 |
| Mal’tsev conditions, lack of absorption, and solvability L Barto, M Kozik, D Stanovský Algebra universalis 74 (1-2), 185-206, 2015 | 26 | 2015 |
| A finite set of functions with an EXPTIME-complete composition problem M Kozik Theoretical Computer Science 407 (1-3), 330-341, 2008 | 21 | 2008 |
Libor BartoDepartment of Algebra, Charles University, PragueVerified email at mff.cuni.cz
