Clique Is Hard on Average for Regular Resolution
Atserias, Albert ; Bonacina, Ilario ; de Rezende, Susanna F ; Lauria, Massimo ; Nordström, Jakob ; Razborov, Alexander
arXiv.org, 2020-12
Ithaca: Cornell University Library, arXiv.org
Texto completo disponível