Alexandr Kazda

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