2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.CC2025
New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality
Tomáš Nagy, Michael Pinsker, Michał Wrona
The path to the solution of Feder-Vardi dichotomy conjecture by Bulatov and Zhuk led through showing that more and more general algebraic conditions imply polynomial-time algorithm…
cs.LO2021★ 2 cited
Collapsing the bounded width hierarchy for infinite-domain CSPs: when symmetries are enough
Antoine Mottet, Tomáš Nagy, Michael Pinsker +1
We prove that relational structures admitting specific polymorphisms (namely, canonical pseudo-WNU operations of all arities ) have low relational width. This implies a c…
math.GR2019
Non-affine latin quandles of order
Tomáš Nagy
We prove that a non-affine latin quandle (also known as left distributive quasigroup) of order exists if and only if or . The construction is expressed in t…