Large Clique is Hard on Average for Resolution.

Shuo Pang

Browse the full CSR paper archive.