192 citations · 482 across the 16 of their papers we have counts for
1 paper · 1 filter
Albert Atserias, Ilario Bonacina, Susanna F. de Rezende +3
We prove that for k≪4n regular resolution requires length nΩ(k) to establish that an Erdős-Rényi graph with appropriately chosen edge density does not contain a…