Follow
Alexandr Kazda
Title
Cited by
Cited by
Year
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
332018
Maltsev digraphs have a majority polymorphism
A Kazda
European Journal of Combinatorics 32 (3), 390-397, 2011
292011
Convergence in Möbius number systems
A Kazda
Walter de Gruyter GmbH & Co. KG 9 (3), 261-279, 2009
152009
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
142018
Deciding the existence of minority terms
A Kazda, J Opršal, M Valeriote, D Zhuk
Canadian Mathematical Bulletin 63 (3), 577-591, 2020
132020
Deciding some Maltsev conditions in finite idempotent algebras
A Kazda, M Valeriote
The Journal of Symbolic Logic 85 (2), 539-562, 2020
122020
Deciding absorption
L Barto, A Kazda
International Journal of Algebra and Computation 26 (05), 1033-1060, 2016
122016
Möbius number systems based on interval covers
P Kůrka, A Kazda
Nonlinearity 23 (5), 1031, 2010
122010
-permutability and linear Datalog implies symmetric Datalog
A Kazda
Logical Methods in Computer Science 14, 2018
92018
CSP for binary conservative relational structures
A Kazda
Algebra universalis 75 (1), 75-84, 2016
82016
Taylor term does not imply any nontrivial linear one-equality Maltsev condition
A Kazda
Algebra universalis 80, 1-9, 2019
62019
The chain relation in sofic subshifts
A Kazda
Fundamenta Informaticae 84 (3-4), 375-390, 2008
52008
Existence of cube terms in finite algebras
A Kazda, D Zhuk
Algebra universalis 82, 1-29, 2021
32021
The word problem for free adequate semigroups
M Kambites, A Kazda
International Journal of Algebra and Computation 24 (06), 893-907, 2014
32014
Complexity of the homomorphism extension problem in the random case
A Kazda
arXiv preprint arXiv:1106.0663, 2011
22011
Symbolic representations of compact spaces
A Kazda
Univerzita Karlova, Matematicko-fyzikální fakulta, 2009
22009
Algebraic Approach to Approximation
L Barto, S Butti, A Kazda, C Viola, S Živný
arXiv preprint arXiv:2401.15186, 2024
12024
Small Promise CSPs that reduce to large CSPs
A Kazda, P Mayr, D Zhuk
Logical Methods in Computer Science 18, 2022
12022
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
12021
Deciding the existence of quasi weak near unanimity terms in finite algebras
A Kazda
arXiv preprint arXiv:2002.06083, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20