17 citations · 46 across the 14 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.RA2023
The subpower membership problem of 2-nilpotent algebras
Michael Kompatscher
The subpower membership problem SMP(A) of a finite algebraic structure A asks whether a given partial function from A^k to A can be interpolated by a term operation of A, or not. W…
cs.LO2023
Polynomial definability in constraint languages with few subpowers
Jakub Bulín, Michael Kompatscher
A first-order formula is called primitive positive (pp) if it only admits the use of existential quantifiers and conjunction. Pp-formulas are a central concept in (fixed-template)…