Lower bounds for restricted forms of Extended Resolution and DPLLalgorithms. Forthcoming (1998)

by Oliver Kullmann