Clique Is Hard on Average for Regular Resolution

Albert Atserias, Ilario Bonacina, Susanna F. de Rezende, Massimo Lauria, Jakob Nordström, Alexander A. Razborov. Clique Is Hard on Average for Regular Resolution. Journal of the ACM, 68(4), 2021. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.