Browsing University of Hertfordshire by Author "Milis, Ioannis"

Now showing items 1-1 of 1

    • An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas 

      Tveretina, Olga; Sinz, Carsten; Zantema, Hans (2009)
      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 pigeonhole formula has an exponential size. Here ...