Large Clique is Hard on Average for Resolution

Shuo Pang. Large Clique is Hard on Average for Resolution. In Rahul Santhanam, Daniil Musatov, editors, Computer Science - Theory and Applications - 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28 - July 2, 2021, Proceedings. Volume 12730 of Lecture Notes in Computer Science, pages 361-380, Springer, 2021. [doi]

Abstract

Abstract is missing.