17 citations · 46 across the 14 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.RA2019★ 5 cited
CC-circuits and the expressive power of nilpotent algebras
Michael Kompatscher
We show that CC-circuits of bounded depth have the same expressive power as circuits over finite nilpotent algebras from congruence modular varieties. We use this result to phrase…
cs.CC2019★ 5 cited
Circuit equivalence in 2-nilpotent algebras
Piotr Kawałek, Michael Kompatscher, Jacek Krzaczkowski
The circuit equivalence problem of a finite algebra is the computational problem of deciding whether two circuits over define the same function or not. This…