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 Maltsev digraphs have a majority polymorphism A Kazda
European Journal of Combinatorics 32 (3), 390-397, 2011
28 2011 Convergence in Möbius number systems A Kazda
Walter de Gruyter GmbH & Co. KG 9 (3), 261-279, 2009
15 2009 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
13 2018 Deciding the existence of minority terms A Kazda, J Opršal, M Valeriote, D Zhuk
Canadian Mathematical Bulletin 63 (3), 577-591, 2020
12 2020 Möbius number systems based on interval covers P Kůrka, A Kazda
Nonlinearity 23 (5), 1031, 2010
12 2010 Deciding some Maltsev conditions in finite idempotent algebras A Kazda, M Valeriote
The Journal of Symbolic Logic 85 (2), 539-562, 2020
10 2020 Deciding absorption L Barto, A Kazda
International Journal of Algebra and Computation 26 (05), 1033-1060, 2016
10 2016 CSP for binary conservative relational structures A Kazda
Algebra universalis 75 (1), 75-84, 2016
7 2016 Taylor term does not imply any nontrivial linear one-equality Maltsev condition A Kazda
Algebra universalis 80, 1-9, 2019
6 2019 -permutability and linear Datalog implies symmetric DatalogA Kazda
Logical Methods in Computer Science 14, 2018
5 2018 The chain relation in sofic subshifts A Kazda
Fundamenta Informaticae 84 (3-4), 375-390, 2008
5 2008 The word problem for free adequate semigroups M Kambites, A Kazda
International Journal of Algebra and Computation 24 (06), 893-907, 2014
3 2014 Existence of cube terms in finite algebras A Kazda, D Zhuk
Algebra universalis 82, 1-29, 2021
2 2021 Deciding the existence of quasi weak near unanimity terms in finite algebras A Kazda
arXiv preprint arXiv:2002.06083, 2020
2 2020 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 Promise CSPs that reduce to large CSPs A Kazda, P Mayr, D Zhuk
arXiv preprint arXiv:2109.07924, 2021
1 2021 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 Constraint satisfaction problem and universal algebra A Kazda
Univerzita Karlova, Matematicko-fyzikální fakulta, 2013
1 2013