17 citations · 46 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.RA2021
The local-global property for G-invariant terms
Alexandr Kazda, Michael Kompatscher
For some Maltsev conditions it is enough to check if a finite algebra satisfies locally on subsets of bounded size, in order to decide, whether sati…
cs.CC2021
CSAT and CEQV for nilpotent Maltsev algebras of Fitting length > 2
Michael Kompatscher
The circuit satisfaction problem CSAT(A) of an algebra A is the problem of deciding whether an equation over A (encoded by two circuits) has a solution or not. While solving system…