CLIQUE as an AND of Polynomial-Sized Monotone Constant-Depth Circuits. - Levente Bodnar (CoRR, 2024)