Random (log n)-CNF Are Hard for Cutting Planes (Again).

Dmitry Sokolov

Browse the full STOC paper archive.