7 citations · 7 across the 1 of their papers we have counts for
1 paper
Olga Tveretina, Carsten Sinz, Hans Zantema
Haken proved that every resolution refutation of the pigeonhole formula has at least exponential size. Groote and Zantema proved that a particular OBDD computation of the pigeonhol…