Oberwolfach 2413: Clique Is Hard on Average for Unary Sherali-Adams (Kilian Risse)

New channel Oberwolfach 2413: Proof Complexity and Beyond: title sample judged 'whole' (A research workshop recording channel consisting entirely of expert technical talks on proof complexity, squarely fittin); 3 of 3 sampled transcripts showed teaching, 0 not; every title checked strictly; oEmbed verified.

A 55-minute video from Oberwolfach 2413: Proof Complexity and Beyond: “Oberwolfach 2413: Clique Is Hard on Average for Unary Sherali-Adams (Kilian Risse)”.

Video by Oberwolfach 2413: Proof Complexity and Beyond, played through YouTube's embedded player.