5 citations · 5 across the 4 of their papers we have counts for
1 paper · 2 filters
Piotr Kawałek, Michael Kompatscher, Jacek Krzaczkowski
The circuit equivalence problem of a finite algebra A is the computational problem of deciding whether two circuits over A define the same function or not. This…