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.
Equals LOGCFL/poly [Ven91].
Contained in ⊕SAC1 [GW96].
More about...