I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Clique is hard on average for regular resolution:

, In: Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing,
Atserias, Albert ; Bonacina, Ilario ; de Rezende, Susanna F.... - p. 866-877 , 2018
Link: https://dl.acm.org/doi/10.1145/3188745.3188856