Yassine Ghannane

Identifiers

No identifiers captured yet.

Papers (2)

1. Average-Case Hardness of Binary-Encoded Clique in Proof and Communication Complexity cs.CC · 2026 · author #3
2. Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size cs.CC · 2026 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• David Engstr\"om 2 shared papers
• Susanna F. de Rezende 2 shared papers
• Artur Riazanov 1 shared papers
• Duri Andrea Janett 1 shared papers
• Kilian Risse 1 shared papers