The class of problems solvable by a nonuniform family of polynomial-size, polylog-depth circuits with unbounded-fanin XOR and bounded-fanin AND gates.
Defined in [GW96], where it was also shown that ⊕SAC1 contains SAC1.
See SAC for definition.
Not closed under complement [BCD+89].
Not contained in ⊕SAC0 [K23].
See SAC for definition.