An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas
- Olga Tveretina
- , Carsten Sinz
- , Hans Zantema
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5
Citations
(Scopus)
79
Downloads
(Pure)