TY  - RPRT
TI  - Clique Is Hard on Average for Regular Resolution
AU  - Albert Atserias
AU  - Ilario Bonacina
AU  - Susanna F. de Rezende
AU  - Massimo Lauria
AU  - Jakob Nordström
AU  - Alexander Razborov
PY  - 2020
UR  - https://arxiv.org/abs/2012.09476
ID  - 2012.09476
ER  -