Prefer a chat interface with context about you and your work?
Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers