Publication

Number of items: 1.
2009
  • An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. (2009) Olga Tveretina, Carsten Sinz and Hans Zantema
    • This list was generated on Sun Nov 1 03:11:34 2026 GMT.