Alexandr Kazda

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 17

Top Topics

Constraint Satisfaction Problems

Database Languages

Arc Consistency

Ontology Based Data Access

Top Venues

Int. J. Algebra Comput.

Log. Methods Comput. Sci.

Publications

Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný
Algebraic Approach to Approximation. CoRR (2024)
Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný
Algebraic Approach to Approximation. LICS (2024)
Alexandr Kazda, Michael Kompatscher
Local-global property for G-invariant terms. Int. J. Algebra Comput. 32 (6) (2022)
Alexandr Kazda, Peter Mayr, Dmitriy Zhuk
Small Promise CSPs that reduce to large CSPs. Log. Methods Comput. Sci. 18 (3) (2022)
Alexandr Kazda, Peter Mayr, Dmitriy Zhuk
Small PCSPs that reduce to large CSPs. CoRR (2021)
Alexandr Kazda, Michael Kompatscher
The local-global property for G-invariant terms. CoRR (2021)
Alexandr Kazda
Deciding the Existence of QuasiWeak Near Unanimity Terms in Finite Algebras. J. Multiple Valued Log. Soft Comput. 36 (4-5) (2021)
Alexandr Kazda
Deciding the existence of quasi weak near unanimity terms in finite algebras. CoRR (2020)
Alexandr Kazda, Matt Valeriote
Deciding some Maltsev conditions in finite Idempotent Algebras. J. Symb. Log. 85 (2) (2020)
Alexandr Kazda, Dmitriy Zhuk
Existence of cube terms in finite finitely generated clones. CoRR (2019)
Alexandr Kazda, Jakub Oprsal, Matt Valeriote, Dmitriy Zhuk
Deciding the existence of minority terms. CoRR (2019)
Alexandr Kazda, Vladimir Kolmogorov, Michal Rolínek
Even Delta-Matroids and the Complexity of Planar Boolean CSPs. ACM Trans. Algorithms 15 (2) (2019)
Alexandr Kazda
nnn-permutability and linear Datalog implies symmetric Datalog. Log. Methods Comput. Sci. 14 (2) (2018)
Alexandr Kazda, Matt Valeriote
Deciding some Maltsev conditions in finite idempotent algebras. CoRR (2017)
Alexandr Kazda, Vladimir Kolmogorov, Michal Rolínek
Even Delta-Matroids and the Complexity of Planar Boolean CSPs. SODA (2017)
Alexandr Kazda, Vladimir Kolmogorov, Michal Rolínek
Even Delta-Matroids and the Complexity of Planar Boolean CSPs. CoRR (2016)
Libor Barto, Alexandr Kazda
Deciding absorption. Int. J. Algebra Comput. 26 (5) (2016)
Libor Barto, Alexandr Kazda
Deciding absorption. CoRR (2015)
Alexandr Kazda
$n$-permutability and linear Datalog implies symmetric Datalog. CoRR (2015)
Mark Kambites, Alexandr Kazda
The word problem for free adequate semigroups. Int. J. Algebra Comput. 24 (6) (2014)
Alexandr Kazda
Complexity of the homomorphism extension problem in the random case. Chic. J. Theor. Comput. Sci. 2013 (2013)
Mark Kambites, Alexandr Kazda
The word problem for free adequate semigroups. CoRR (2013)
Alexandr Kazda
Maltsev digraphs have a majority polymorphism. Eur. J. Comb. 32 (3) (2011)
Jarkko Kari, Alexandr Kazda, Paula Steinby
On Continuous Weighted Finite Automata CoRR (2009)
Alexandr Kazda
The Chain Relation in Sofic Subshifts. Fundam. Informaticae 84 (3-4) (2008)