Exponential Lower Bounds for Refuting Random Formulas Using Ordered Binary Decision Diagrams.

Luke Friedman, Yixin Xu

Browse the full CSR paper archive.