@article{Alekhnovich:2005:ELB:1166822.1166833,
    Address = {Secaucus, NJ, USA},
    Author = {Alekhnovich, Michael and Hirsch, Edward A. and Itsykson, Dmitry},
    File = {malekhnovich\_exponential\_lower\_bounds\_for\_the\_running (0) - a - a - c.pdf},
    ISSN = {0168-7433},
    Journal = {J. Autom. Reason.},
    Keywords = {DPLL algorithms, satisfiability},
    Month = {October},
    Number = {1-3},
    Pages = {51--72},
    Publisher = {Springer-Verlag New York, Inc.},
    Title = {Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas},
    URL = {http://dx.doi.org/10.1007/s10817-005-9006-x},
    Volume = {35},
    Year = {2005},
    acmid = {1166833},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s10817-005-9006-x},
    date-added = {2018-02-27 07:12:14 +0000},
    date-modified = {2018-02-27 07:12:14 +0000},
    issue_date = {October 2005},
    numpages = {22},
    doi = {10.1007/s10817-005-9006-x}
}

@article{Alekhnovich:2005:ELB:1166822.1166833, Address = {Secaucus, NJ, USA}, Author = {Alekhnovich, Michael and Hirsch, Edward A. and Itsykson, Dmitry}, File = {malekhnovich_exponential_lower_bounds_for_the_running (0) - a - a - c.pdf}, ISSN = {0168-7433}, Journal = {J. Autom. Reason.}, Keywords = {DPLL algorithms, satisfiability}, Month = {October}, Number = {1-3}, Pages = {51--72}, Publisher = {Springer-Verlag New York, Inc.}, Title = {Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas}, URL = {http://dx.doi.org/10.1007/s10817-005-9006-x}, Volume = {35}, Year = {2005}, acmid = {1166833}, bdsk-url-1 = {http://dx.doi.org/10.1007/s10817-005-9006-x}, date-added = {2018-02-27 07:12:14 +0000}, date-modified = {2018-02-27 07:12:14 +0000}, issue_date = {October 2005}, numpages = {22}, doi = {10.1007/s10817-005-9006-x} }