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 | 36 | 2018 |
Maltsev digraphs have a majority polymorphism A Kazda European Journal of Combinatorics 32 (3), 390-397, 2011 | 29 | 2011 |
Convergence in Möbius number systems A Kazda Walter de Gruyter GmbH & Co. KG 9 (3), 261-279, 2009 | 16 | 2009 |
Deciding some Maltsev conditions in finite idempotent algebras A Kazda, M Valeriote The Journal of Symbolic Logic 85 (2), 539-562, 2020 | 15 | 2020 |
Even delta-matroids and the complexity of planar Boolean CSPs A Kazda, V Kolmogorov, M Rolínek ACM Transactions on Algorithms (TALG) 15 (2), 1-33, 2018 | 14 | 2018 |
Deciding the existence of minority terms A Kazda, J Opršal, M Valeriote, D Zhuk Canadian Mathematical Bulletin 63 (3), 577-591, 2020 | 13 | 2020 |
Deciding absorption L Barto, A Kazda International Journal of Algebra and Computation 26 (05), 1033-1060, 2016 | 13 | 2016 |
Möbius number systems based on interval covers P Kůrka, A Kazda Nonlinearity 23 (5), 1031, 2010 | 13 | 2010 |
-permutability and linear Datalog implies symmetric Datalog A Kazda Logical Methods in Computer Science 14, 2018 | 10 | 2018 |
CSP for binary conservative relational structures A Kazda Algebra universalis 75 (1), 75-84, 2016 | 9 | 2016 |
Taylor term does not imply any nontrivial linear one-equality Maltsev condition A Kazda Algebra universalis 80, 1-9, 2019 | 6 | 2019 |
The chain relation in sofic subshifts A Kazda Fundamenta Informaticae 84 (3-4), 375-390, 2008 | 5 | 2008 |
Existence of cube terms in finite algebras A Kazda, D Zhuk Algebra universalis 82, 1-29, 2021 | 4 | 2021 |
Algebraic Approach to Approximation L Barto, S Butti, A Kazda, C Viola, S Živný arXiv preprint arXiv:2401.15186, 2024 | 3 | 2024 |
Small Promise CSPs that reduce to large CSPs A Kazda, P Mayr, D Zhuk Logical Methods in Computer Science 18, 2022 | 3 | 2022 |
The word problem for free adequate semigroups M Kambites, A Kazda International Journal of Algebra and Computation 24 (06), 893-907, 2014 | 3 | 2014 |
On continuous weighted finite automata J Kari, A Kazda, P Steinby Linear algebra and its applications 436 (7), 1791-1824, 2012 | 2 | 2012 |
Complexity of the homomorphism extension problem in the random case A Kazda arXiv preprint arXiv:1106.0663, 2011 | 2 | 2011 |
Symbolic representations of compact spaces A Kazda Univerzita Karlova, Matematicko-fyzikální fakulta, 2009 | 2 | 2009 |
Small PC-SPs that reduce to large CSPs A Kazda, P Mayr, D Zhuk CoRR abs/2109.07924(2021). DOI: https://doi. org/10.48550/arXiv 2109, 2021 | 1 | 2021 |