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 Wed Aug 12 02:44:35 2026 BST.