Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas
Michael Alekhnovich, Edward A. Hirsch, Dmitry ItsyksonVolume:
35
Language:
english
Pages:
22
DOI:
10.1007/s10817-005-9006-x
Date:
October, 2005
File:
PDF, 475 KB
english, 2005