TY  - RPRT
TI  - Average-Case Hardness of Binary-Encoded Clique in Proof and Communication Complexity
AU  - Susanna F. de Rezende
AU  - David Engström
AU  - Yassine Ghannane
AU  - Duri Andrea Janett
AU  - Artur Riazanov
PY  - 2026
UR  - https://arxiv.org/abs/2605.10941
ID  - 2605.10941
ER  -