Circuit equivalence in 2-nilpotent algebras

Piotr Kawałek, Michael Kompatscher, Jacek Krzaczkowski

The circuit equivalence problem of a finite algebra $\mathbf{A}$ is the computational problem of deciding whether two circuits over $\mathbf{A}$ define the same function or not. This…