Alexandr Kazda

According to our database, Alexandr Kazda authored at least 18 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Algebraic Approach to Approximation.

Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, Stanislav Zivný

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2022

Small Promise CSPs that reduce to large CSPs.

Alexandr Kazda, Peter Mayr, Dmitriy Zhuk

Log. Methods Comput. Sci., 2022

Local-global property for G-invariant terms.

Alexandr Kazda, Michael Kompatscher

Int. J. Algebra Comput., 2022

2021

Deciding the Existence of QuasiWeak Near Unanimity Terms in Finite Algebras.

Alexandr Kazda

J. Multiple Valued Log. Soft Comput., 2021

Small PCSPs that reduce to large CSPs.

Alexandr Kazda, Peter Mayr, Dmitriy Zhuk

CoRR, 2021

2020

Deciding some Maltsev conditions in finite Idempotent Algebras.

Alexandr Kazda, Matt Valeriote

J. Symb. Log., 2020

Deciding the existence of quasi weak near unanimity terms in finite algebras.

Alexandr Kazda

CoRR, 2020

2019

Even Delta-Matroids and the Complexity of Planar Boolean CSPs.

Alexandr Kazda, Vladimir Kolmogorov, Michal Rolínek

ACM Trans. Algorithms, 2019

Existence of cube terms in finite finitely generated clones.

Alexandr Kazda, Dmitriy Zhuk

CoRR, 2019

Deciding the existence of minority terms.

Alexandr Kazda, Jakub Oprsal, Matt Valeriote, Dmitriy Zhuk

CoRR, 2019

2018

nnn-permutability and linear Datalog implies symmetric Datalog.

Alexandr Kazda

Log. Methods Comput. Sci., 2018

2016

Deciding absorption.

Libor Barto, Alexandr Kazda

Int. J. Algebra Comput., 2016

2015

$n$-permutability and linear Datalog implies symmetric Datalog.

Alexandr Kazda

CoRR, 2015

2014

The word problem for free adequate semigroups.

Mark Kambites, Alexandr Kazda

Int. J. Algebra Comput., 2014

2013

Complexity of the homomorphism extension problem in the random case.

Alexandr Kazda

Chic. J. Theor. Comput. Sci., 2013

2011

Maltsev digraphs have a majority polymorphism.

Alexandr Kazda

Eur. J. Comb., 2011

2009

On Continuous Weighted Finite Automata

Jarkko Kari, Alexandr Kazda, Paula Steinby

CoRR, 2009

2008

The Chain Relation in Sofic Subshifts.

Alexandr Kazda

Fundam. Informaticae, 2008