7 citations · 7 across the 1 of their papers we have counts for
1 paper · 1 filter
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…