TY  - RPRT
TI  - On the Number of Quantifiers Needed to Define Boolean Functions
AU  - Marco Carmosino
AU  - Ronald Fagin
AU  - Neil Immerman
AU  - Phokion Kolaitis
AU  - Jonathan Lenchner
AU  - Rik Sengupta
PY  - 2025
UR  - https://arxiv.org/abs/2407.00688
ID  - 2407.00688
ER  -