A lower bound for DLL algorithms for

Pavel Pudlk, Russell Impagliazzo

Browse the full SODA paper archive.