Separating OR, SUM, and XOR Circuits

Magnus Find, Mika Göös, Matti Järvisalo +3

Given a boolean n by n matrix A we consider arithmetic circuits for computing the transformation x->Ax over different semirings. Namely, we study three circuit models: monotone OR-…